/sci/ - Science & Math

How does it feel knowing that >90% of mathematics done today is a sham?
Kronecker, Weyl, Weil understood this.
Formalism is a joke.
Do you think an intelligent AI will pick up were we left from using the arbitrary unfalsifiable dogma of ZFC?
What a joke!
AI will be doing actual mathematics. It just so happens that the modern mathematicians and know-nothing laymen apply to it the derogatory label of "finitism".
Whenever you try to argue with the upholder of contemporary foundational orthodoxy, all you get is fallacies, ad-hominems and sunk-cost appeals. It's actually pretty amazing how deluded they are.
Purely in terms of rationality, one cannot but welcome the clarity that AI will bring to the table.

I have solved the free will debate. My explanation will lay it to rest forever for those willing to read it. I laugh at the thought of how much effort and debate is invested in this topic. The answer is so utterly obvious in retrospect.
Philosophers must be retarded not to have realized it yet.
Protip: the key has to do with a correct understanding of the concept of determinism (and not free will, which is a red herring).