Manmatteo

Info utente

it-N Quest'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·te utilisateur·rice 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.

Tenere qualcosa di aggiornato su questa pagina a quanto pare mi è impossibile. Le cose che stavo facendo l'ultima volta:

• 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

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