| Pseudo : |
MasterMatt |
Avatar : |
| Email : |
Vous n'avez pas accès à cette information |
|
| Date de naissance : |
|
| Carte : |
Monde » Océanie |
| Site perso : |
|
| sexe : | NA |
| ville : | |
| occupation : | |
| hobby : | tenter de conquérir le monde |
| Statut : |
Membre |
Smilies persos : |
| Nombre de messages postés : |
5405 |
[:mastermatt]
|
| Date d'arrivée sur le forum : |
12/07/2000 |
| Date du dernier message : |
12-02-2012 à 23:15 |
| Citation personnelle associée au pseudo : |
main { Mind m; m.doUniverse()} |
| Signature des messages : |
Si T est une théorie récursivement axiomatisable, cohérente, et qui démontre toutes les formules Σ0 vraies dans N, alors il existe une formule G, négation d'une formule Σ1, qui est vraie dans N, mais non démontrable dans T
|
| Configuration matérielle : |
Lien vers la configuration de cet utilisateur |
| Jeux Video -> Transactions (0) |
| Achats & Ventes -> Transactions (0) |
| Couleurs personnalisées : |
Cliquez pour voir les couleurs utilisées par cet utilisateur |
| Envoyer un message privé à MasterMatt |
| Accéder à la liste de tous ses messages |