[ 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.9723261 [View]
File: 8 KB, 233x216, 1521290419948.jpg [View same] [iqdb] [saucenao] [google]
9723261

Where can I find the book?

>> No.9647726 [View]
File: 8 KB, 233x216, 1521290419948.jpg [View same] [iqdb] [saucenao] [google]
9647726

>>9644866
>>9644808
>>9644591
>>9644401
>calling others stupid so you can "feel" smart

>> No.9597734 [View]
File: 7 KB, 233x216, images.jpg [View same] [iqdb] [saucenao] [google]
9597734

>he/she calls himself/herself a mathematician but relies on "informal proofs" (non-mathematical objects) instead of something like Coq

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