[ 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.15451046 [View]
File: 920 KB, 1480x2447, Hegel-and-Napoleon-in-Jena-1806.jpg [View same] [iqdb] [saucenao] [google]
15451046

>>15450664
Not super nice to read and, at least for the foundational stuff, outdated (in the sense that their framework were not adopted). I started them once - e.g. in their logic they define \exists from a perplexingly strong choice operator

https://en.wikipedia.org/wiki/Epsilon_calculus

All their texts are very terse, although it might be that Dieudonne's analysis texts are worth it, I'm not sure.

https://en.wikipedia.org/wiki/Jean_Dieudonn%C3%A9

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