Resultado da Busca
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna.
Begriffsschrift (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation; the full title of the book identifies it as "a formula language, modeled on that of arithmetic, for ...
- Gottlob Frege
- 1879
- 124
- Lubrecht & Cramer
A Editora do PPGFIL-UFRRJ e o NuLFiC anunciam a publicação da tradução do primeiro livro de Gottlob Frege intitulado Begriffsschrift (Conceitografia). Neste livro, Frege apresenta uma das primeiras axiomatizações da lógica proposicional e da lógica de predicados de primeira ordem.
Begriflsschriit, a formula language, modeled upon that of arithmetic, for pure thought. GOTTLOB FREGE. (1879) This is the first work that Frege wrote. in the field of logic, and, although a mere. booklet of eighty-eight pages, it is per- haps the most important single work ever written in logic.
G. Frege - Begriffsschrift (A Portuguese Translation with Introduction and Notes by G. Wyllie, A. Duarte and P. Alcoforado)
- Guilherme Wyllie
O grande contributo de Frege para a lógica matemática foi a criação de um sistema de representação simbólica (Begriffsschrift, conceitografia ou ideografia) para representar formalmente a estrutura dos enunciados lógicos e suas relações, e a contribuição para a implementação do cálculo dos predicados.
O Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens foi publicado em 1879 na cidade de Halle, na Alemanha. Seu autor, Friedrich Ludwig Gottlob Frege, então com 31 anos de idade, havia estudado matemática em Jena.
