Os teoremas de incompletude de Godel

Os teoremas de incompletude de Godel

Maria da Paz Nunes de Medeiros

DISSERTAÇÃO

Português

T/UNICAMP M467t

Campinas, SP : [s.n.], 1994.

[88]f.

Orientador: Jose Alexandre D. Guerzoni

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas

Resumo: Em 1931. GOdel apresentou dois Teoremas de Incompletude que. indiscutivelmente. foram os resultados mais importantes da Lógica no início deste século. Pretende-se. neste trabalho. apresentar uma demonstração detalhada do primeiro teorema, na qual. Essa todas as fórmulas envol vidas sejam...

Abstract: Not informed.

Os teoremas de incompletude de Godel

Maria da Paz Nunes de Medeiros


										

Os teoremas de incompletude de Godel

Maria da Paz Nunes de Medeiros

    Exemplares