Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas

Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas

Orientador: Itala Maria Loffredo D'Ottaviano === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-08-03T21:04:12Z (GMT). No. of bitstreams: 1 Tassinari_RicardoPereira_D.pdf: 1211433 bytes, checksum: 0edefc8fa8eb...

Full description

Bibliographic Details
Main Author: Tassinari, Ricardo Pereira
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 2003
Subjects:
Teoria da computação
Inteligência artificial
Teoria dos sistemas
Sistemas auto-organizadores
Logica de primeira ordem
Lógica simbólica e matemática
Linguagem e lógica
Online Access:TASSINARI, Ricardo Pereira. Incompletude e auto-organização: sobre a determinação de verdades logicas e matemáticas. 2003. 238p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/279844>. Acesso em: 3 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/279844

Internet

TASSINARI, Ricardo Pereira. Incompletude e auto-organização: sobre a determinação de verdades logicas e matemáticas. 2003. 238p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/279844>. Acesso em: 3 ago. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/279844

Similar Items