3 ms·
You might want to check out the works of that buzzkill that Gödel is ^^ https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikiped
by mrjay42 1y ago
You might want to check out the works of that buzzkill that Gödel is ^^
https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
"
The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e. an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system.
The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.
"
:3
- motorest 1y ago> You might want to check out the works of that buzzkill that Gödel is ^^ Please explain why do you believe this is relevant to the points I've made.
- he0001 1y agoIt argues of “impossibilities” and also proves it.
- motorest 1y agoI think you need to read it again.
- he0001 1y agoGödel wrote his teorem to test David Hilbert’s endeavor, Logic and the Foundation of Mathematics[0], to unify mathematics. Gödel proved that it is impossible to do. But you may have a different version of history. [0] https://www.famousscientists.org/david-hilbert/ https://www.famousscientists.org/david-hilbert/