l'accesso più veloce di browser!
34 relazioni: Addizione, Aritmetica di Robinson, Assiomi di Peano, Assiomi logici, Assiomi per l'uguaglianza, Assiomi propri, Cardinalità, Chiusura universale, Definizione ricorsiva, Formula ben formata, Funzione (matematica), Funzione iniettiva, Funzione ricorsiva, Inclusione, Insieme, Insieme delle parti, Insieme numerabile, Isomorfismo, Linguaggio del primo ordine, Linguaggio dell'aritmetica del primo ordine, Logica matematica, Modello (logica matematica), Moltiplicazione, Numero naturale, Operazione binaria, Potenza (matematica), Principio d'induzione, Rappresentabilità, Schema di assiomi, Teorema di compattezza (logica matematica), Teorema di Goodstein, Teoria del primo ordine, Uguaglianza, Variabile libera.
Addizione
L'addizione (denotata normalmente dal simbolo del più, "+") è una delle quattro operazioni fondamentali dell'aritmetica, insieme alla sottrazione, alla moltiplicazione e alla divisione.
Nuovo!!: Aritmetica di Peano e Addizione · Mostra di più »
Aritmetica di Robinson
L'aritmetica di Robinson, denotata solitamente con Q in logica matematica, è una teoria del primo ordine, definita per la prima volta da Raphael M. Robinson nel 1950 che ha come assiomi propri una versione ridotta degli assiomi di Peano in cui è assente il principio di induzione e c'è l'aggiunta di un assioma che afferma che ogni numero naturale diverso da zero è successore di qualche altro numero (cosa che nell'aritmetica di Peano è dimostrabile per induzione).
Nuovo!!: Aritmetica di Peano e Aritmetica di Robinson · Mostra di più »
Assiomi di Peano
Gli assiomi di Peano sono un gruppo di assiomi ideati dal matematico Giuseppe Peano al fine di definire assiomaticamente l'insieme dei numeri naturali.
Nuovo!!: Aritmetica di Peano e Assiomi di Peano · 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!!: Aritmetica di Peano e Assiomi logici · Mostra di più »
Assiomi per l'uguaglianza
Gli assiomi per l'uguaglianza sono un insieme di assiomi che possono far parte di una teoria del primo ordine allo scopo di formalizzare tutte le normali deduzioni che in matematica si fanno con la relazione di uguaglianza.
Nuovo!!: Aritmetica di Peano e Assiomi per l'uguaglianza · Mostra di più »
Assiomi propri
Gli assiomi propri di una teoria sono gli assiomi che specificano fatti relativi agli oggetti della teoria che non sono deducibili dalla logica pura e semplice ma che sono invece legati alla particolare natura di quegli oggetti (come "per due punti passa una e una sola retta").
Nuovo!!: Aritmetica di Peano e Assiomi propri · Mostra di più »
Cardinalità
In teoria degli insiemi per cardinalità (o numerosità o potenza) di un insieme finito si intende il numero dei suoi elementi.
Nuovo!!: Aritmetica di Peano e Cardinalità · Mostra di più »
Chiusura universale
In logica matematica e più in particolare in una teoria del primo ordine si chiama chiusura universale di una formula ben formata \mathcal A(x_1,...,x_n) in cui x_1,...,x_n sono variabili libere, la formula ottenuta premettendo un quantificatore universale su ogni variabile libera.
Nuovo!!: Aritmetica di Peano e Chiusura universale · Mostra di più »
Definizione ricorsiva
In matematica una definizione ricorsiva di un insieme A si ha quando per definire A vengono elencati degli elementi di A e delle regole per costruire nuovi elementi di A a partire da elementi di A. Ad esempio l'insieme P dei numeri pari può essere definito ricorsivamente dicendo.
Nuovo!!: Aritmetica di Peano e Definizione ricorsiva · Mostra di più »
Formula ben formata
Nella logica matematica si chiama formula ben formata o - brevemente - fbf di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.
Nuovo!!: Aritmetica di Peano e Formula ben formata · 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!!: Aritmetica 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!!: Aritmetica di Peano e Funzione iniettiva · Mostra di più »
Funzione ricorsiva
Nella logica matematica e nell'informatica, le funzioni ricorsive sono una classe di funzioni dai numeri naturali ai numeri naturali che sono "calcolabili" in un qualche senso intuitivo.
Nuovo!!: Aritmetica di Peano e Funzione ricorsiva · 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!!: Aritmetica 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!!: Aritmetica di Peano e Insieme · Mostra di più »
Insieme delle parti
In matematica, dato un insieme S, l'insieme delle parti di S, scritto \mathcal(S), è l'insieme di tutti i sottoinsiemi di S. Questa collezione di insiemi viene anche detta insieme potenza di S o booleano di S. \mathcal(S) viene chiamato famiglia di insiemi rispetto a S. --> Per esempio, se S è l'insieme \, allora la lista completa dei suoi sottoinsiemi risulta.
Nuovo!!: Aritmetica di Peano e Insieme delle parti · Mostra di più »
Insieme numerabile
In matematica, e più in particolare nella teoria degli insiemi, un insieme viene detto numerabile se i suoi elementi sono in numero finito oppure se possono essere messi in corrispondenza biunivoca con i numeri naturali.
Nuovo!!: Aritmetica di Peano e Insieme numerabile · 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!!: Aritmetica di Peano e Isomorfismo · Mostra di più »
Linguaggio del primo ordine
Nella logica matematica il linguaggio del primo ordine è un linguaggio formale che serve per gestire meccanicamente enunciati e ragionamenti che coinvolgono i connettivi logici, le relazioni e i quantificatori "per ogni..." (∀) ed "esiste..." (∃).
Nuovo!!: Aritmetica di Peano e Linguaggio del primo ordine · Mostra di più »
Linguaggio dell'aritmetica del primo ordine
In logica matematica il linguaggio dell'aritmetica del primo ordine è un linguaggio del primo ordine con cui è possibile sviluppare teorie formali dell'aritmetica elementare come l'aritmetica di Peano e l'aritmetica di Robinson.
Nuovo!!: Aritmetica di Peano e Linguaggio dell'aritmetica del primo ordine · 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!!: Aritmetica 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!!: Aritmetica di Peano e Modello (logica matematica) · Mostra di più »
Moltiplicazione
La moltiplicazione è una delle quattro operazioni fondamentali dell'aritmetica.
Nuovo!!: Aritmetica di Peano e Moltiplicazione · Mostra di più »
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare.
Nuovo!!: Aritmetica di Peano e Numero naturale · Mostra di più »
Operazione binaria
In matematica, un'operazione binaria interna è una funzione che richiede due argomenti dello stesso insieme X (si dice cioè che ha arietà 2) e restituisce un elemento di X. Formalmente, cioè, è una funzione * dal prodotto cartesiano X\times X in X: Per indicare l'immagine di una coppia di punti (x,y) si usa spesso la notazione infissa x*y.
Nuovo!!: Aritmetica di Peano e Operazione binaria · Mostra di più »
Potenza (matematica)
In matematica, la potenza è un'operazione che associa ad una coppia di numeri a e n, detti rispettivamente base ed esponente, il numero dato dal prodotto di n fattori uguali ad a: in questo contesto a può essere un numero intero, razionale o reale mentre n è un numero intero positivo.
Nuovo!!: Aritmetica di Peano e Potenza (matematica) · 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!!: Aritmetica di Peano e Principio d'induzione · Mostra di più »
Rappresentabilità
Nella logica matematica il concetto di rappresentabilità di una funzione o di un predicato è relativo alle teorie formali dell'aritmetica, ovvero alle teorie del primo ordine che hanno come linguaggio il linguaggio dell'aritmetica del primo ordine e che quindi ammettono come modello la struttura dei numeri naturali dotati delle operazioni di addizione e moltiplicazione.
Nuovo!!: Aritmetica di Peano e Rappresentabilità · Mostra di più »
Schema di assiomi
In logica matematica si chiama schema di assiomi una scrittura simbolica che rappresenta schematicamente delle regole di costruzione per un insieme (eventualmente infinito) di formule ben formate che si intende includere tra gli assiomi di una teoria proposizionale o del primo ordine.
Nuovo!!: Aritmetica di Peano e Schema di assiomi · Mostra di più »
Teorema di compattezza (logica matematica)
Nella logica matematica il teorema di compattezza è un risultato relativo alla coerenza o all'esistenza di modelli per insiemi di enunciati nell'ambito della logica proposizionale o di un linguaggio del primo ordine.
Nuovo!!: Aritmetica di Peano e Teorema di compattezza (logica matematica) · Mostra di più »
Teorema di Goodstein
In matematica, il teorema di Goodstein è un teorema sui numeri naturali, relativamente semplice da enunciare, la cui particolarità consiste nel fatto di essere indecidibile dall'aritmetica di Peano ma dimostrabile nella teoria assiomatica degli insiemi.
Nuovo!!: Aritmetica di Peano e Teorema di Goodstein · 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!!: Aritmetica di Peano e Teoria del primo ordine · Mostra di più »
Uguaglianza
* Uguaglianza sociale – in sociologia e antropologia, condizione di individui e gruppi di essere considerati alla stessa stregua in termini di diritti.
Nuovo!!: Aritmetica di Peano e Uguaglianza · Mostra di più »
Variabile libera
In logica matematica e in particolare in un linguaggio del primo ordine si dice che una variabile occorre libera in una formula ben formata \mathcal A se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.
Nuovo!!: Aritmetica di Peano e Variabile libera · Mostra di più »
