• Metamatemática
    A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel. Cuida do esclarecimento rigoroso, através de recurso...
    876 bytes (105 words) - 20:23, 19 October 2021
  • Alfred Tarski
    destruiu a linha divisória entre a metamatemática e a matemática. Ele objetivou restringir o papel da metamatemática aos fundamentos da matemática.” (Sinaceur...
    17 KB (2,024 words) - 19:54, 3 April 2024
  • Intuicionismo
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    3 KB (313 words) - 18:26, 20 December 2023
  • Kurt Gödel
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    20 KB (2,352 words) - 22:07, 7 April 2024
  • Jacques Derrida
    que é conhecido como "intuicionismo" e "construcionismo" no campo da metamatemática, na esteira da obra de Brouwer e depois Heyting, ao qual Derrida irá...
    21 KB (2,617 words) - 08:16, 8 October 2024
  • Axiomas de Zermelo-Fraenkel (section Metamatemática)
    universo de von Neumann (também conhecido como a hierarquia cumulativa). A metamatemática da ZFC foi estudada extensivamente. Resultados marcantes dessa área...
    23 KB (3,463 words) - 15:12, 7 December 2020
  • Gottlob Frege
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    21 KB (2,878 words) - 17:01, 20 December 2023
  • Falácia
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    52 KB (6,859 words) - 19:47, 10 October 2024
  • Teoremas da incompletude de Gödel
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    43 KB (5,818 words) - 18:39, 20 December 2023
  • Argumentum ad hominem
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    15 KB (1,655 words) - 23:00, 10 October 2024
  • Lista de símbolos lógicos
    Lógica matemática Lógica na ciência da computação Matemática Metalógica Metamatemática Pensamento crítico Semântica formal Teoria da argumentação Teoria da...
    25 KB (906 words) - 14:20, 9 April 2024