26 relazioni: Aritmetica di Peano, Aritmetica modulare, Assioma (matematica), Assiomi logici, Corrispondenza biunivoca, Dimostrazione, Dominio e codominio, Funzione (matematica), Funzione iniettiva, Giuseppe Peano, Immagine (matematica), Inclusione, Insieme, Insieme vuoto, Isomorfismo, Logica, Logica matematica, Modello (logica matematica), Numero naturale, Numero razionale, Principio d'induzione, Quantificatore, Teoremi di incompletezza di Gödel, Teoria del primo ordine, Teoria della calcolabilità, 0 (numero).
Aritmetica di Peano
L'aritmetica di Peano, denotata anche con l'acronimo PA (Peano Arithmetic) in logica matematica è una teoria del primo ordine che ha come assiomi propri una versione degli assiomi di Peano espressi nel linguaggio del primo ordine.
Nuovo!!: Assiomi di Peano e Aritmetica di Peano · Mostra di più »
Aritmetica modulare
L'aritmetica modulare (a volte detta aritmetica dell'orologio poiché su tale principio si basa il calcolo delle ore a cicli di 12 o 24) rappresenta un importante ramo della matematica.
Nuovo!!: Assiomi di Peano e Aritmetica modulare · Mostra di più »
Assioma (matematica)
In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo stati dimostrati, sono considerati veri.
Nuovo!!: Assiomi di Peano e Assioma (matematica) · Mostra di più »
Assiomi logici
Gli assiomi logici sono un insieme (infinito) di assiomi di una teoria del primo ordine che formalizzano tutte le deduzioni logiche che solitamente si fanno nelle dimostrazioni matematiche.
Nuovo!!: Assiomi di Peano e Assiomi logici · Mostra di più »
Corrispondenza biunivoca
Un esempio di funzione biiettiva In matematica una corrispondenza biunivoca tra due insiemi X e Y è una relazione binaria tra X e Y, tale che ad ogni elemento di X corrisponda uno ed un solo elemento di Y, e viceversa ad ogni elemento di Y corrisponda uno ed un solo elemento di X. Lo stesso concetto può anche essere espresso usando le funzioni.
Nuovo!!: Assiomi di Peano e Corrispondenza biunivoca · Mostra di più »
Dimostrazione
La dimostrazione è una serie di ragionamenti logici che, partendo da una ipotesi, porta necessariamente a una tesi.
Nuovo!!: Assiomi di Peano e Dimostrazione · Mostra di più »
Dominio e codominio
In matematica il dominio e il codominio di una funzione sono gli insiemi su cui è definita la funzione, che associa ad ogni elemento del dominio uno e un solo elemento del codominio.
Nuovo!!: Assiomi di Peano e Dominio e codominio · Mostra di più »
Funzione (matematica)
In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.
Nuovo!!: Assiomi di Peano e Funzione (matematica) · Mostra di più »
Funzione iniettiva
In matematica, una funzione iniettiva (detta anche funzione ingettiva oppure iniezione) è una funzione che associa ad elementi distinti del dominio, elementi distinti del codominio.
Nuovo!!: Assiomi di Peano e Funzione iniettiva · Mostra di più »
Giuseppe Peano
Fu l'inventore del latino sine flexione, una lingua ausiliaria internazionale derivata dalla semplificazione del latino classico.
Nuovo!!: Assiomi di Peano e Giuseppe Peano · Mostra di più »
Immagine (matematica)
In matematica, l'immagine di un sottoinsieme del dominio di una funzione è l'insieme degli elementi ottenuti applicando la funzione a tale sottoinsieme.
Nuovo!!: Assiomi di Peano e Immagine (matematica) · Mostra di più »
Inclusione
In matematica, e in particolare in teoria degli insiemi, l'inclusione, indicata con \subseteq, è una relazione binaria tra insiemi definita nel seguente modo: "l'insieme B è contenuto o incluso nell'insieme A se e solo se, per ogni elemento x, se x appartiene a B allora x appartiene ad A".
Nuovo!!: Assiomi di Peano e Inclusione · Mostra di più »
Insieme
In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.
Nuovo!!: Assiomi di Peano e Insieme · Mostra di più »
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento.
Nuovo!!: Assiomi di Peano e Insieme vuoto · Mostra di più »
Isomorfismo
In matematica, in particolare in algebra astratta, un isomorfismo (dal greco ἴσος, isos, che significa uguale, e μορφή, morphé, che significa forma) è un'applicazione biunivoca fra oggetti matematici tale che l'applicazione e la sua inversa siano omomorfismi.
Nuovo!!: Assiomi di Peano e Isomorfismo · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Assiomi di Peano e Logica · Mostra di più »
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Nuovo!!: Assiomi di Peano e Logica matematica · Mostra di più »
Modello (logica matematica)
In logica matematica un modello per un linguaggio o una teoria formale è intuitivamente un'attribuzione di un significato a tutti gli enunciati (le formule) del linguaggio.
Nuovo!!: Assiomi di Peano e Modello (logica matematica) · Mostra di più »
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare.
Nuovo!!: Assiomi di Peano e Numero naturale · Mostra di più »
Numero razionale
In matematica, un numero razionale è un numero ottenibile come rapporto tra due numeri interi, il secondo dei quali diverso da 0.
Nuovo!!: Assiomi di Peano e Numero razionale · Mostra di più »
Principio d'induzione
Il principio d'induzione è un enunciato sui numeri naturali che in matematica trova un ampio impiego nelle dimostrazioni, per provare che una certa proprietà è valida per tutti i numeri interi.
Nuovo!!: Assiomi di Peano e Principio d'induzione · Mostra di più »
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Nuovo!!: Assiomi di Peano e Quantificatore · Mostra di più »
Teoremi di incompletezza di Gödel
In logica matematica, i teoremi di incompletezza di Gödel sono due famosi teoremi dimostrati da Kurt Gödel nel 1931.
Nuovo!!: Assiomi di Peano e Teoremi di incompletezza di Gödel · Mostra di più »
Teoria del primo ordine
Nella logica matematica una teoria del primo ordine è un particolare sistema formale, cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Nuovo!!: Assiomi di Peano e Teoria del primo ordine · Mostra di più »
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Nuovo!!: Assiomi di Peano e Teoria della calcolabilità · Mostra di più »
0 (numero)
Lo zero (cf. arabo صفر (sefr), ebraico אפס (éfes), sanscrito शून्य (śūnya), neol. greco μηδέν) è il numero che precede uno e gli altri interi positivi e segue i numeri negativi.
Nuovo!!: Assiomi di Peano e 0 (numero) · Mostra di più »
Riorienta qui:
Funzione successore, Postulato di Peano.