[ 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.9228865 [View]
File: 9 KB, 320x180, begriffsschrift.jpg [View same] [iqdb] [saucenao] [google]
9228865

Gentzen's way of writing proofs

>>9228274
This is actually just a (big) commutative diagram, like when you write [math]A \overset{f}{\longrightarrow} B[/math] to say f is a map from A to B.

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