[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.15437641 [View]
File: 25 KB, 600x490, 1661575827046477.jpg [View same] [iqdb] [saucenao] [google]
15437641

Did Hilbert have any good case again Brouwer of was he just a ree'ing old man, too lazy to find a clear proof of his claims?

>> No.14825246 [View]
File: 25 KB, 600x490, 1661575827046477.jpg [View same] [iqdb] [saucenao] [google]
14825246

Good mathematics is compatible with the assertion that N^N contains no function that can't be turned into a program that actually maps inputs to outputs.

https://en.m.wikipedia.org/wiki/Church%27s_thesis_(constructive_mathematics)

>> No.14794769 [View]
File: 25 KB, 600x490, 1636663564156.jpg [View same] [iqdb] [saucenao] [google]
14794769

>doesn't brush his bat
Have you ever noticed how the bat gets upset when you don't brush them first thing in the morning?

Navigation
View posts[+24][+48][+96]