Frege - definição. O que é Frege. Significado, conceito
Diclib.com
Dicionário ChatGPT
Digite uma palavra ou frase em qualquer idioma 👆
Idioma:

Tradução e análise de palavras por inteligência artificial ChatGPT

Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:

  • como a palavra é usada
  • frequência de uso
  • é usado com mais frequência na fala oral ou escrita
  • opções de tradução de palavras
  • exemplos de uso (várias frases com tradução)
  • etimologia

O que (quem) é Frege - definição

GERMAN MATHEMATICIAN, LOGICIAN, PHILOSOPHER
Gotloeb Frege; Gotlob Frege; Friedrich Ludwig Gottlob Frege; GFrege; G. Frege; Gottlob frege; Fregean; Foundations of Aritmetic; Gottloeb Frege; Gottlob Friedrich Ludwig Frege; The Basic Laws of Arithmetic; Gottleb Frege; Julius Caesar problem; Frege
  • Title page to ''Begriffsschrift'' (1879)
  • 1905}}

Gottlob Frege         
<person, history, philosophy, mathematics, logic, theory> (1848-1925) A mathematician who put mathematics on a new and more solid foundation. He purged mathematics of mistaken, sloppy reasoning and the influence of Pythagoras. Mathematics was shown to be a subdivision of formal logic. [Where?] (1997-07-14)
Frege system         
  • Proof strengths of different systems.
Frege proof system
In proof complexity, a Frege system is a propositional proof system whose proofs are sequences of formulas derived using a finite set of sound and implicationally complete inference rules. Frege systems (more often known as Hilbert systems in general proof theory) are named after Gottlob Frege.
Frege–Church ontology         
The Frege-Church Ontology; Frege Church ontology; The Church-Frege Ontology; Paradox of the name relationship; Church frege ontology; Church Frege ontology; Frege-Church ontology; Paradox of the name relation; Intentional context; Frege church ontology; Church-Frege ontology
The Frege–Church ontology is an ontology, a theory of existence. Everything is considered as being in three categories, object (referent, denotation), name, or concept (sense).

Wikipédia

Gottlob Frege

Friedrich Ludwig Gottlob Frege (; German: [ˈɡɔtloːp ˈfreːɡə]; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever.

His contributions include the development of modern logic in the Begriffsschrift and work in the foundations of mathematics. His book the Foundations of Arithmetic is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical papers "On Sense and Reference" and "The Thought" are also widely cited. The former argues for two different types of meaning and descriptivism. In Foundations and "The Thought", Frege argues for Platonism against psychologism or formalism, concerning numbers and propositions respectively. Russell's paradox undermined the logicist project by showing Frege's Basic Law V in the Foundations to be false.