> On 21 Sep 2019, at 11:15, Samiya Illias <samiyaill...@gmail.com> wrote: > > > https://www.scientificamerican.com/article/new-proof-solves-80-year-old-irrational-number-problem/
That is actually very interesting, but not directly related to our discussion, except such conjecture illustrates the non fiction and non conventional aspect of the number relations. But the simple diagonal argument proving that there is no total universal computable function proves this better, by showing that no matter how much axioms we add to our theories, some similar conjectures can remain unsolved for long, if not forever, despite being intuitively clearly either true or false. Note that such a “certainty” does not exist outside the arithmetical (computer science theoretical) realm. I mean the certainty that the proposition are either true or false. Bruno > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/C599B3E9-D678-47AF-9618-3362E24946A4%40gmail.com. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/46F84841-8DC3-4804-8D01-54DEDECED697%40ulb.ac.be.
