https://www.google.com/search?q=site:mastodon.social
Uncategorized
1
Posts
1
Posters
0
Views
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@Johann150 that's how the electroboom YT channel got started
-
@nuclearpasta I have already mentioned I hate that guy, right?
-
La danza dei protocolli di rete
#internet #networking
-
Ho perso una settimana, ero convinta di avere ancora tempo per preparare la newsletter. Va tutto bene, sono solo rincoglionita da questa influenza che non ci crede fino in fondo (non ho febbre ma sono a tocchi).
-
Sul Canale Telegram continuiamo ad essere in 39, che fastidio questo numero dispari da settimane.
-
Incompleteness and Computability
Manuale sui teoremi di incompletezza di Gödel e sulla teoria della computabilità, sviluppato per il corso di Logica III di Calgary, basato sull'Open Logic Project.
Copre la teoria delle funzioni ricorsive, l'aritmetizzazione della sintassi, il primo e il secondo teorema di incompletezza, modelli di aritmetica, logica del secondo ordine e lambda calcolo.
-
@aeva Yeppppp
My cousin has it and good god I would not wish it on anyone
...and it legitimately took years (a decade)? before he was able to even find a doctor that believed it was a thing
-
@micke I did!
