/sci/ - Science & Math » Thread #12748407

>>12748482
>>12748491
fine, you are allowed to stay. goddamn mathfags with your “philosophical” basis.

next time we invent science we have to cut out this dead weight and base it on computer algorithms. the EEs will replace mathematicians. mark my words.

Anonymous

Anonymous Wed 24 Feb 2021 14:13:09 No.12749574 Report

Quoted By:

>>12748505
my sides are in orbit

Anonymous

Anonymous Wed 24 Feb 2021 20:03:41 No.12750774 Report

Quoted By:

>>12748440
>>12748505
>Too retarded to capitalize his I's
>Too retarded to google
>cs monkey

>>>/g/tfo and never return

Anonymous

Anonymous Wed 24 Feb 2021 20:04:48 No.12750781 Report

Quoted By:

>>12748407
Gentzen proof systems are based.
I hear about them most from CS circle studying proof theory, whereas most logicians in mathematical logic seem to be studying models or applications of relativization techniques from computability.

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches