Hugo Nobrega
Biographic Data
| ID | 9559597 |
|---|---|
| NAME | Hugo Nobrega |
| GIVEN NAMES | Hugo |
| FAMILY NAME | Nobrega |
| SIGNATURE | NOBREGA H |
| AFFILIATIONS | Universidade Federal do Rio de Janeiro |
| ORCID | 0000-0001-7597-2208 |
| VERIFIED | Yes |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 1 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2022 |
| LATEST PUBLICATION YEAR | 2022 |
| H-INDEX | 0 |
On the (In)Dependence of the Peano Axioms for Natural Numbers
We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical struc…
No prominent works on this page.
On the (In)Dependence of the Peano Axioms for Natural Numbers
We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical struc…
Advanced Algebra and Logic (1 work) · Axiom (1 work) · Axiomatic system (1 work) · Computability, Logic, AI Algorithms (1 work) · Computer Science (1 work) · Discrete mathematics (1 work) · Independence (probability theory) (1 work) · Logic, Reasoning, and Knowledge (1 work) · Mathematics (1 work) · Natural number (1 work)