[ 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.10818307 [View]
File: 1 KB, 74x26, chypth.png [View same] [iqdb] [saucenao] [google]
10818307

im goint to ask this here:

since every formal system is defined by a few defined things: like alphabet, grammar etc, is it possible to enumerate every possible formal system? ie walk through every single one. are they countable somehow?

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