Utente:Manmatteo

Info utente

it-N Questo utente può contribuire con un livello madrelingua in italiano. vec-4 Sta utensa cuà ła ga on conosimento cuazi marełéngua de ła łéngua vèneta. en-4 This user has near native speaker knowledge of English. fr-3 Cet utilisateur dispose de connaissances avancées en français. es-2 Esta persona tiene un conocimiento intermedio del español. Questo utente è un linaro talebano. Questo utente usa e consiglia Mozilla Firefox.

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

• Tradurre en:Cut-elimination theorem in Teorema di eliminazione del taglio
• Algebra di Robbins

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

Wikimedia Foundation

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