Evert Willem Beth (7 de julho de 1908 – 12 de abril de 1964) foi um filósofo e lógico holandês, que trabalhou, principalmente, em questões relacionadas aos fundamentos da matemática.

Biografia

editar

Beth nasceu em Almelo, uma pequena cidade no leste da Holanda. Seu pai estudou matemática e física na Universidade de Amesterdã, onde ele tinha sido premiado com um Ph.D. Evert Beth estudou as mesmas disciplinas na Universidade de Utrecht, mas depois também estudou filosofia e psicologia. Seu  Ph. D. em filosofia foi em 1935.

Em 1946, tornou-se professor de lógica e fundamentos da matemática em Amesterdã. Além de duas breves interrupções – de uma temporada em 1951, como um assistente de pesquisa para Alfred Tarski, e em 1957, como professor visitante na Universidade Johns Hopkins – ele ocupou o cargo continuamente, até sua morte em 1964. O seu curso foi o primeiro de pós em lógica e fundamentos da matemática em seu país, e durante esse tempo, ele contribuiu ativamente para a cooperação internacional no estabelecimento de lógica como disciplina acadêmica.

Em 1953 tornou-se membro da Academia Real das Artes e Ciências dos Países Baixos.[1]

Ele morreu em Amsterdã.

Contribuições para a lógica

editar

Teorema da definição

editar

O teorema da definição afirma que um predicado (ou função, ou constante) é implicitamente definível se e somente se ele é explicitamente definível. Explicação adicional é fornecida sob a definibilidade de Beth

Tableaux semânticos

editar

Tableaux semânticos é um método de prova para sistemas formais, tais como, dedução natural de Gentzencálculo de sequentes, ou até mesmo o método da resolução de J. Alan Robinson e sistema axiomático de Hilbert . É considerado por muitos um método intuitivamente simples, especialmente para os alunos não familiarizados com o estudo de lógica (Wilfrid Hodges , por exemplo, apresenta tableaux semânticos em seu livro-texto introdutório, Logic, e Melvin Fitting faz o mesmo em sua apresentação de lógica de primeira ordem para cientistas da computação, First-order logic and automated theorem proving).

O método começa com a intenção de provar que um determinado conjunto   de fórmulas implica outra fórmula  , dado um conjunto de regras determinadas pela semântica dos conectivos (e quantificadores, na lógica de primeira ordem) das fórmulas. O método procede admitindo verdadeiras cada membro do conjunto   e   (a negação de  ) e, em seguida, aplica as regras de ramificação em uma estrutura de árvore de fórmulas (mais simples) até que todos os possíveis ramos contenham uma contradição (ou não). Neste ponto, vai ter sido estabelecido que   é inconsistente (insatisfatível), e, portanto, que as fórmulas de   juntas implicam em  .

Modelos de Beth

editar

Estas são classes de modelos relacionais para a lógica não-clássica (A semântica de Kripke).

Ver também

editar

Livros

editar
  • Evert W. Beth, The foundations of mathematics. A study in the philosophy of science. XXVΊ + 722 pp. Amesterdã, Norte-Holland, 1959.
  • Evert W. Beth, Epistemologie mathematique et psychologie (J. Piaget). 352 pp. Paris, P. U. F. De 1961.
  • Evert W. Beth, Formal Methods: An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. D. Reidel Publishing Company / Dordecht-Holanda, 1962.
  • Evert W. Beth, Aspects of Modern Logic. D. Reidel Publishing Company / Dordecht-Holland, 1971.

Referências

editar
  1. «Evert Willem Beth (1908 - 1964)». Royal Netherlands Academy of Arts and Sciences. Consultado em 20 julho de 2015 

Ligações externas

editar