Resultado de búsqueda
Hace 2 días · 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).
Hace 1 día · Gemäß dieser Unterscheidung, die heute vor allem in ihrer von Gottlob Frege in seinem Aufsatz „Über Sinn und Bedeutung“ (Frege 1892) etablierten Form diskutiert wird, bezeichnet ein Ausdruck wie ‚Berlin‘ etwas (in diesem Falle üblicherweise die Stadt Berlin), nämlich sein Denotat oder seine Referenz (Frege selber spricht von „Bedeutung“), und zwar so, dass er einen – vom ...
Hace 3 días · En primera persona, cuando hablo de lógica matemática, me refiero a una rama de la matemática que se centra en las estructuras formales de razonamiento. Sus orígenes se remontan a la antigüedad con filósofos como Aristóteles, pero fue formalizada en el siglo XIX y XX gracias a trabajos de matemáticos como George Boole y Gottlob Frege.
The logical problem with Calvin and Calvinism. u/Stagger-And-Reel. 350 BCE, Aristotle discovered logical syllogism. 1854, George Boole published "An Investigation of the Laws of Thought" and started Boolean propositional logic. 1879, Gottlob Frege laid the groundwork for First-Order Logic.
Hace 17 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.
Hace 17 horas · 350 BCE, Aristotle discovered logical syllogism. 1854, George Boole published "An Investigation of the Laws of Thought" and started Boolean propositional logic. 1879, Gottlob Frege laid the groundwork for First-Order Logic. FOL underpins all modern science and mathematics. 1559, John Calvin...
Hace 4 días · Friedrich Ludwig Gottlob Frege: Pioneer of Logic and Mathematical PhilosophyIn this video we discussgottlob fregefregegottlob frege (author)gottlobfriedrich ...
- 6 min
- 3
- Math Mystique
