Taula de continguts
6 les relacions: Demostració per inducció, Giuseppe Peano, Lògica de segon ordre, Nombre natural, 1889, 1932.
- Axiomes
- Lògica computacional
- Lògica matemàtica
Demostració per inducció
date.
Veure Axiomes de Peano і Demostració per inducció
Giuseppe Peano
Giuseppe Peano (27 d'agost, 1858 – 20 d'abril, 1932) va ser un matemàtic i filòsof italià, conegut per les seves contribucions a la teoria de conjunts.
Veure Axiomes de Peano і Giuseppe Peano
Lògica de segon ordre
Una lògica de segon ordre és una extensió d'una lògica matemàtica de primer ordre en la qual s'afegeixen variables per propietats i quantificadors que operen sobre aquestes variables.
Veure Axiomes de Peano і Lògica de segon ordre
Nombre natural
Un nombre natural és qualsevol dels nombres 0, 1, 2, 3…, 19, 20, 21..., que es poden utilitzar per a comptar els elements d'un conjunt finit.
Veure Axiomes de Peano і Nombre natural
1889
''La nit estrellada'', quadre de Vincent van Gogh de 1889;Països Catalans.
Veure Axiomes de Peano і 1889
1932
;Països Catalans.
Veure Axiomes de Peano і 1932
Vegeu també
Axiomes
- Axioma
- Axioma de numerabilitat
- Axiomes de Peano
- Axiomes de probabilitat
Lògica computacional
- Axiomes de Peano
- Circuit booleà
- Clàusula de Horn
- Correspondència Curry-Howard
- Lògica combinacional
- Lògica combinatòria
- Lògica computacional
- Lògica difusa
- Llenguatge lliure d'estrella
- Mapa de Karnaugh
- Problema de satisfacibilitat booleana
- Sistema abstracte de reescriptura
- Sistema digital seqüencial
- Situació de competició
- Teoria de tipus intuicionista
Lògica matemàtica
- Algorisme
- Axiomes de Peano
- Càlcul de superposició
- Comptar
- Contraposició lògica
- Definició inductiva
- Demostració (matemàtiques)
- Entscheidungsproblem
- Equivalència lògica
- Fórmula ben formada
- Fonaments de la matemàtica
- Funció característica (matemàtiques)
- Funció de veritat
- Gramàtica formal
- Igualtat (matemàtiques)
- Independència (lògica)
- Lògica de classes
- Lògica matemàtica
- Lògica modal
- Lògica quàntica
- Lògica tradicional
- Mètodes infinitesimals
- Nombre de Gödel
- Nombre surreal
- Paradoxa de Curry
- Proposició (lògica)
- Relació
- Semàntica formal
- Taula de símbols matemàtics
- Tautologia (lògica)
- Teorema d'incompletesa de Gödel
- Teoria de conjunts
- Teoria de la computabilitat
- Teoria de la demostració
- Teoria de models
- Univers (matemàtiques)
- Variable (matemàtiques)
- Veritat
També conegut com Aritmètica de Peano, Postulats de Peano, Sistema axiomatic de peano.