Frege - определение. Что такое Frege
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое Frege - определение

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).

Википедия

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.