Número de Gödel: historial de revisões

29 de agosto de 2020

• atuant 16h00min16h00min de 29 de agosto de 2020‎ Juan90264 discussão contribs‎ m 7 555 bytes −4‎ v2.03b - Corrigido usando WP:PCW (en dash ou em dash) desfazer Etiqueta: WPCleaner

18 de fevereiro de 2020

• atuant 18h15min18h15min de 18 de fevereiro de 2020‎ Tuga1143 discussão contribs‎ m 7 559 bytes −4‎ Substituição de predefinições obsoletas desfazer

29 de abril de 2019

• atuant 00h21min00h21min de 29 de abril de 2019‎ 2804:431:d725:8e33:918:1d1c:ff5e:8200 discussão‎ 7 563 bytes +4‎ →‎Codificação de Gödel desfazer Etiqueta: Editor Visual

26 de março de 2013

• atuant 23h38min23h38min de 26 de março de 2013‎ KLBot2 discussão contribs‎ m 7 559 bytes −307‎ Bot: A migrar 12 interwikis, agora providenciados por Wikidata em d:Q1451046 desfazer

25 de janeiro de 2012

• atuant 03h59min03h59min de 25 de janeiro de 2012‎ FMTbot discussão contribs‎ m 7 866 bytes +26‎ Checkwiki + ajustes desfazer

29 de maio de 2011

• atuant 04h35min04h35min de 29 de maio de 2011‎ 187.13.142.151 discussão‎ 7 840 bytes +1‎ →‎Aplicação à aritmética formal desfazer

30 de abril de 2010

• atuant 23h45min23h45min de 30 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 839 bytes +40‎ desfazer
• atuant 23h36min23h36min de 30 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 799 bytes +110‎ desfazer

28 de abril de 2010

• atuant 18h20min18h20min de 28 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 689 bytes 0‎ desfazer

26 de abril de 2010

• atuant 12h54min12h54min de 26 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 689 bytes −189‎ desfazer

25 de abril de 2010

• atuant 11h25min11h25min de 25 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 878 bytes +411‎ desfazer

23 de abril de 2010

• atuant 19h03min19h03min de 23 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 467 bytes −196‎ desfazer
• atuant 11h21min11h21min de 23 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 663 bytes +347‎ desfazer

22 de abril de 2010

• atuant 23h24min23h24min de 22 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 316 bytes +130‎ desfazer

16 de abril de 2010

• atuant 21h53min21h53min de 16 de abril de 2010‎ Luckas-bot discussão contribs‎ m 7 186 bytes +3‎ Bot: Modificando: en:Gödel numbering desfazer
• atuant 21h40min21h40min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 183 bytes 0‎ desfazer
• atuant 21h39min21h39min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 183 bytes 0‎ desfazer
• atuant 21h38min21h38min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 183 bytes 0‎ desfazer
• atuant 21h37min21h37min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 183 bytes −41‎ desfazer
• atuant 21h36min21h36min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 224 bytes −198‎ desfazer
• atuant 21h33min21h33min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 422 bytes 0‎ desfazer
• atuant 21h32min21h32min de 16 de abril de 2010‎ Ricardo Ferreira de Oliveira discussão contribs‎ 7 422 bytes +7 422‎ ← nova página: {{emtraducao}} Em lógica matemática, uma '''numeração de Gödel''' é uma função matemática que atribui a cada símbolo e fórmula bem formada de ...