[ 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.7376297 [View]
File: 14 KB, 225x225, 1413493826187.jpg [View same] [iqdb] [saucenao] [google]
7376297

Is ZFC consistent?

>> No.7252305 [View]
File: 14 KB, 225x225, 1413493826187.jpg [View same] [iqdb] [saucenao] [google]
7252305

Do Godel's incompleteness theorems remain true if we interpret them under intuitionist logic?

There should be no incompleteness under intuitionist logic, since in order for something to be a theorem it has to be proven to be true - as a consequence, there are no theorems which are not proven from a set of axioms.

Is the Hilbert program possible under intuitionist logic?

>> No.7129251 [View]
File: 16 KB, 225x225, 1402095423748.jpg [View same] [iqdb] [saucenao] [google]
7129251

Do sets exist?

>> No.7103461 [View]
File: 16 KB, 225x225, 1402095423748.jpg [View same] [iqdb] [saucenao] [google]
7103461

mathoverflow.net

>> No.7095407 [View]
File: 16 KB, 225x225, 1402095423748.jpg [View same] [iqdb] [saucenao] [google]
7095407

>learning Coq
>develop set theory
>prove all theorems in set theory instead of type theory
take that normies

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