Anonymous at Thu, 1 Aug 2024 19:21:48 UTC No. 16306130

>>16305275
>"Godel's incompleteness theorems don't apply to the minds of mathematicians because that would hurt my ego :("
That's his argument. It's moronic.

Anonymous at Fri, 2 Aug 2024 04:37:15 UTC No. 16306591

>>16306130
does the person in the chinese room understand chinese? No. Does an abacus think when you slide the bead? Go to fucking school

Anonymous at Fri, 2 Aug 2024 05:18:04 UTC No. 16306638

>>16306130
>>16306591
In 1996, William McCune used an automated theorem prover to prove the long standing conjecture that a Robbins algebrea is a Boolean algebra. Tarski had worked on this problem to no avail.
Does an ATP "think"? I don't know. If not, then apparently you don't need to think to prove novel results in mathematics.

Anonymous at Fri, 2 Aug 2024 06:03:00 UTC No. 16306664

>>16305275
every serious mathematician and physicist is a platonist

Anonymous at Fri, 2 Aug 2024 19:02:52 UTC No. 16307440

>>16306591
>>16306638
Mad duelists.

Anonymous at Fri, 2 Aug 2024 19:08:25 UTC No. 16307447

>>16305275
Penrose is a braindead who thinks gravity acting on microtubules in brains solves the hard problem of consciousness