[ 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.12731779 [View]
File: 42 KB, 284x234, alphabet.jpg [View same] [iqdb] [saucenao] [google]
12731779

Why formalization right away and not informal but exact reasoning first, as it is tradition? Well, i ask myself the same thing too. It is arbitrary, let us try this and let's see how far we can go.

>> No.12508668 [View]
File: 42 KB, 284x234, alphabet.jpg [View same] [iqdb] [saucenao] [google]
12508668

Can we take the alphabet as an axiom?

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