[ 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


View post   

File: 1.15 MB, 1024x1024, 1683050958311275.png [View same] [iqdb] [saucenao] [google]
15806598 No.15806598 [Reply] [Original]

A mathematical zombie, or m-zombie for short, accepts all the axioms of ZFC as true, but when you say something about ZFC sets to him, he interprets it as a statement about a countable model of ZFC. Thus an m-zombie will make statements like "the reals are uncountable" but the reals as he conceives them are actually countable.

Do m-zombies exist, and if so, is there any way to distinguish them from other mathematicians?

>> No.15806605
File: 104 KB, 304x360, 1697436810745.png [View same] [iqdb] [saucenao] [google]
15806605

First order logic is insufficient. Reject any set theory based on first order logic. Fuck Skolem's paradox. Embrace naive set theory. Simple as.

>> No.15806611

>>15806605
Relevant:
https://youtube.com/watch?v=mhIkyqLDl9M