All mathematics is produced by physical objects (brains, computers). Therefore the laws of physics determine what theorems are possible, and mathematics has no existence independent of our universe.
-
But there can be many theorems which the human minds or computers can not be able to state or imagine at all. What about those?
-
-
Ppl from logic should confirm this for us, we have infinitely many non equivalent WellFormedFormulas in the First order logic. So, we have theorems which we can never exhaust in the lifetime of the Universe. Adding more,I guess there will b systems with uncountable WFF(nonequi)
-
I am not pro in Logic, but If I am correct this will contradict your statement. Let others confirm it.
Keskustelun loppu
Uusi keskustelu -
Lataaminen näyttää kestävän hetken.
Twitter saattaa olla ruuhkautunut tai ongelma on muuten hetkellinen. Yritä uudelleen tai käy Twitterin tilasivulla saadaksesi lisätietoja.