[ 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: 14 KB, 230x284, boxxy5.jpg [View same] [iqdb] [saucenao] [google]
2028493 No.2028493 [Reply] [Original]

> Generally, any number concept leading to multiplication cannot be defined in Presburger arithmetic since that leads to incompleteness and undecidability.
That's kind of fucked up.