Formulario Mathematico
E403668
Formulario Mathematico is a foundational work in mathematical logic and notation by Giuseppe Peano that systematically formalizes mathematics using symbolic language.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Formulario Mathematico canonical | 1 |
| Formulario mathematico | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T3995507 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Formulario Mathematico Context triple: [Giuseppe Peano, notableWork, Formulario Mathematico]
-
A.
Mathematike Syntaxis
Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
-
B.
The Formula
The Formula is a 1980 crime thriller film starring George C. Scott and Marlon Brando that centers on a conspiracy involving a secret synthetic fuel formula.
-
C.
Mathnawi
Mathnawi is a monumental six-volume Persian Sufi poetic work by Rumi that explores mystical love, spiritual wisdom, and the path to divine union.
-
D.
Mathematical Laboratory
The Mathematical Laboratory was the original name of the University of Cambridge’s computing department, which became a pioneering center for early computer science research and development.
-
E.
OpenMath
OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Formulario Mathematico Target entity description: Formulario Mathematico is a foundational work in mathematical logic and notation by Giuseppe Peano that systematically formalizes mathematics using symbolic language.
-
A.
Mathematike Syntaxis
Mathematike Syntaxis, better known by its later Arabic-derived title Almagest, is Ptolemy’s foundational astronomical treatise that systematically presents the geocentric model of the cosmos and dominated Western and Islamic astronomy for over a millennium.
-
B.
The Formula
The Formula is a 1980 crime thriller film starring George C. Scott and Marlon Brando that centers on a conspiracy involving a secret synthetic fuel formula.
-
C.
Mathnawi
Mathnawi is a monumental six-volume Persian Sufi poetic work by Rumi that explores mystical love, spiritual wisdom, and the path to divine union.
-
D.
Mathematical Laboratory
The Mathematical Laboratory was the original name of the University of Cambridge’s computing department, which became a pioneering center for early computer science research and development.
-
E.
OpenMath
OpenMath is a standard for representing the semantic meaning of mathematical expressions in a structured, machine-readable form to enable reliable exchange between computer programs.
- F. None of above. chosen
Statements (42)
| Predicate | Object |
|---|---|
| instanceOf |
foundational work in mathematical logic
ⓘ
mathematical logic book ⓘ mathematics textbook ⓘ |
| aim |
to express all of mathematics in a symbolic language
ⓘ
to provide a rigorous logical foundation for mathematics ⓘ |
| associatedWith |
Peano school of logic
ⓘ
symbolic logic movement ⓘ |
| author | Giuseppe Peano ⓘ |
| contains |
axioms
ⓘ
definitions ⓘ formal proofs ⓘ theorems ⓘ |
| contributedTo |
development of formal languages in logic
ⓘ
standardization of mathematical symbols ⓘ |
| describedAs |
milestone in the formalization of mathematics
ⓘ
systematic compendium of mathematics in symbolic form ⓘ |
| field |
foundations of mathematics
ⓘ
mathematical logic ⓘ mathematical notation ⓘ |
| focusesOn |
axiomatic development of mathematics
ⓘ
formalization of analysis ⓘ formalization of arithmetic ⓘ formalization of geometry ⓘ symbolic language for mathematics ⓘ |
| hasPart |
formalization of arithmetic of natural numbers
ⓘ
formalization of geometric concepts ⓘ formalization of real numbers ⓘ formalization of set-theoretic notions ⓘ |
| historicalPeriod | late 19th century ⓘ |
| influenced |
20th-century foundations of mathematics
ⓘ
development of symbolic logic ⓘ formalism in mathematics ⓘ |
| influencedBy |
arithmetization of analysis
ⓘ
logic of Gottlob Frege ⓘ tradition of Euclidean axiomatization ⓘ |
| mainLanguage | Latin ⓘ |
| notableFor |
early use of quantifiers
ⓘ
formal treatment of logical implication ⓘ influence on later formal logical systems ⓘ systematic use of symbolic notation ⓘ |
| uses |
Peano axioms for natural numbers
ⓘ
linked to:
Peano arithmetic
Peano notation ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Formulario Mathematico Description of subject: Formulario Mathematico is a foundational work in mathematical logic and notation by Giuseppe Peano that systematically formalizes mathematics using symbolic language.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Formulario Mathematico