🧵 Untitled Thread
Anonymous at Thu, 12 Sep 2024 04:15:58 UTC No. 16375463
Why can't mathematical proofs be developed rationally or algorithmically? Speaking about non-trivial stuff that you win nobel prizes for. Things like solving the 3-body problem. It seems problems of that nature are always handled by someone's intuition for the problem domain, rather than reasoning about it from first principles. Why?
Anonymous at Thu, 12 Sep 2024 12:45:02 UTC No. 16376870
Cause p doesn't equal NP
Anonymous at Thu, 12 Sep 2024 13:58:23 UTC No. 16376945
>>16376870
Proof?
Also isn't it more about kolmogorov complexity to begin with? P != NP doesn't even apply in all logics.
Anonymous at Thu, 12 Sep 2024 14:13:23 UTC No. 16376957
>>16375463
>Why can't mathematical proofs be developed rationally or algorithmically?
Gödel's incompleteness theorem