Resultado da Busca
Há 5 dias · Linguagem e Verdade: Uma Análise do Logicismo de Frege é um livro que explora as ideias do matemático e filósofo Gottlob Frege, considerado o fundador da lógica moderna.
Há 4 dias · Gottlob Frege (Wismar 1848-Bad Kleinen 1915) foi uma das figuras mais importantes no desenvolvimento de várias áreas da filosofia contemporânea. Matemático de formação mas com forte inclinação filosófica, Frege dedicou praticamente toda a sua vida intelectual à compreensão da natureza da matemática (em particular da aritmética e do conceito de número) e de sua relação com a ...
Há 2 dias · Semantic compositionality is first and foremost a property of representations, not of processes. The concept of a semantically compositional representation has its roots in philosophy of language, logic, and linguistics, and is commonly taken to have originated with the work of Gottlob Frege (b. 1848, d. 1925).
Há 6 dias · Frege worked before modern modal logic. UI just allows you to replace ∀xA with A{x -> y}, where A{x -> y} is the result of replacing every free x variable in A with another variable y. There are no requirements on x or y.
Há 4 dias · Friedrich Ludwig Gottlob Frege: Pioneer of Logic and Mathematical PhilosophyIn this video we discussgottlob fregefregegottlob frege (author)gottlobfriedrich ...
- 6 min
- 3
- Math Mystique
Há 8 horas · Type theory was created to avoid a paradox in a mathematical equation based on naive set theory and formal logic. Russell's paradox (first described in Gottlob Frege's The Foundations of Arithmetic) is that, without proper axioms, it is possible to define the set of all sets that are not members of themselves; this set both contains itself and does not contain itself.
Há 5 dias · Gottlob Frege, 1848–1925, Mathematiker, Logiker und Philosoph, lehrte an der Universität Jena. Der Herausgeber: Uwe Voigt, geb. 1965, Professor für Philosophie mit Schwerpunkt analytische Philosophie und Wissenschaftstheorie an der Universität Augsburg.
