Image not available

1920x1080

file.png

๐Ÿงต Untitled Thread

Anonymous No. 16305275

https://youtu.be/hXgqik6HXc0?si=GWIrsWrNsAXtM1kY&t=1089

Is this true? that's abusrd! What physicits is he talking about? no smart person can believe such immeaterialist hogwash!

Anonymous 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 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 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 No. 16306664

>>16305275
every serious mathematician and physicist is a platonist

Anonymous No. 16307440

>>16306591
>>16306638
Mad duelists.

Anonymous No. 16307447

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