Manmatteo
Iscritto il 25 ott 2006
Info utente | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Studente di informatica, appassionato di logica e in particolare teoria della dimostrazione.
Iscrittomi a it.wiki nel 2006, dopo esattamente dieci anni di inattività decido di iniziare a fare qualcosa. Per ora qui segno i miei piani:
- Risistemare la voce Principio di Markov
- Finire di tradurre Teoria della dimostrazione
- Scrivere una voce Corrispondenza/Isomorfismo di Curry-Howard (en:Curry–Howard_correspondence)
- Scrivere una voce Realizzabilità (en:Realizability)
Per ora ho iniziato a scrivere
Oltre ad argomenti di logica e matematica, mantengo un po' di ordine su pagine relative a radio (stazioni, trasmissioni e conduttori) e musica.
Questa è la pagina utente di un utente registrato su Wikipedia | |
![]() | Se trovi questa pagina su un sito diverso da Wikipedia si tratta di un clone. In questo caso la pagina può essere non aggiornata e l'autore potrebbe non riconoscersi più nei suoi contenuti. Indipendentemente dal grado di aggiornamento della pagina, l'autore stesso potrebbe non desiderare o non gradire alcuna affiliazione con il sito che stai consultando. La pagina originale si trova qui: https://it.wikipedia.org/wiki/Utente:Manmatteo |
🔥 Top keywords: Pagina principaleBrigitte BardotClaudio GrazianoSpeciale:RicercaCampionato europeo di calcio 2024Domenico TedescoHouse of the DragonFrancesco CalzonaCampionato europeo di calcioRoger VadimEpisodi di House of the Dragon (seconda stagione)N'Golo KantéBridgertonKylian MbappéCampionato europeo di calcio 2020Riccardo CalafioriFesta del papà24 Ore di Le MansJean-Louis TrintignantDidier DeschampsNicolae StanciuCampionato mondiale di calcioGreen DayAntoine GriezmannNazionale di calcio dell'ItaliaRoberto VannacciThe Boys (serie televisiva 2019)Shattered - L'ingannoPaolo MieliQuando tutto cambiaFincantieriIlaria SalisJuraj KuckaNazionale di calcio della FranciaCampionato mondiale di calcio 2022Nicolò BarellaIl presceltoInside Out 2Twilight (film 2008)