l'accesso più veloce di browser!
49 relazioni: Algebra astratta, Algebra di Boole, Algebra lineare, Analisi matematica, Analisi non standard, Aritmetica, Assioma, Assioma della scelta, Assiomi di Peano, Évariste Galois, Campo ordinato, Coerenza (logica matematica), Commutatività, David Hilbert, Deduzione, Euclide, Formula ben formata, Geometria, Geometria ellittica, Geometria euclidea, Geometria iperbolica, Geometria proiettiva, Geometria simplettica, Grundlagen der Geometrie, Gruppo (matematica), Implicazione logica, Insieme ricorsivo, Isomorfismo, Kurt Gödel, Logica matematica, Logica proposizionale, Matematica, Modello (logica matematica), Numero reale, Probabilità, Regola di inferenza, Sistema assiomatico, Spazio (fisica), Spazio metrico completo, Teorema di completezza di Gödel, Teoremi di incompletezza di Gödel, Teoria assiomatica degli insiemi, Teoria degli insiemi, Teoria dei gruppi, Teoria del primo ordine, Teoria ergodica, Topologia, V postulato di Euclide, XIX secolo.
Algebra astratta
L'algebra astratta è la branca della matematica che si occupa dello studio delle strutture algebriche come gruppi, anelli e campi.
Nuovo!!: Assioma (matematica) e Algebra astratta · Mostra di più »
Algebra di Boole
L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Nuovo!!: Assioma (matematica) e Algebra di Boole · Mostra di più »
Algebra lineare
L'algebra lineare è la branca della matematica che si occupa dello studio dei vettori, spazi vettoriali (o spazi lineari), trasformazioni lineari e sistemi di equazioni lineari.
Nuovo!!: Assioma (matematica) e Algebra lineare · Mostra di più »
Analisi matematica
L'analisi matematica è il ramo della matematica che si occupa delle proprietà che emergono dalla scomposizione infinita di un oggetto denso.
Nuovo!!: Assioma (matematica) e Analisi matematica · Mostra di più »
Analisi non standard
L'analisi non standard è una rifondazione dell'analisi matematica che recupera in parte l'impostazione (originale) di Leibniz e il concetto di infinitesimo.
Nuovo!!: Assioma (matematica) e Analisi non standard · Mostra di più »
Aritmetica
L'aritmetica (dal greco ἀριθμός.
Nuovo!!: Assioma (matematica) e Aritmetica · Mostra di più »
Assioma
In epistemologia, un assioma è una proposizione o un principio che è assunto come vero perché ritenuto evidente o perché fornisce il punto di partenza di un quadro teorico di riferimento.
Nuovo!!: Assioma (matematica) e Assioma · Mostra di più »
Assioma della scelta
L'assioma della scelta è un assioma di teoria degli insiemi enunciato per la prima volta da Ernst Zermelo nel 1904.
Nuovo!!: Assioma (matematica) e Assioma della scelta · 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!!: Assioma (matematica) e Assiomi di Peano · Mostra di più »
Évariste Galois
Ragazzo prodigio, poco più che adolescente riuscì a determinare un metodo generale per scoprire se un'equazione sia risolvibile o meno con operazioni quali somma, sottrazione, moltiplicazione, divisione, elevazione di potenza ed estrazione di radice, risolvendo così un problema della matematica vecchio di millenni.
Nuovo!!: Assioma (matematica) e Évariste Galois · Mostra di più »
Campo ordinato
In matematica, e più precisamente in algebra, un campo ordinato è un campo dotato di un ordinamento totale.
Nuovo!!: Assioma (matematica) e Campo ordinato · Mostra di più »
Coerenza (logica matematica)
In logica matematica, una teoria formale si dice coerente (o non contraddittoria, talvolta anche consistente, per assonanza con l'inglese consistent) se in essa è impossibile dimostrare una contraddizione.
Nuovo!!: Assioma (matematica) e Coerenza (logica matematica) · Mostra di più »
Commutatività
In matematica, un'operazione binaria * definita su un insieme S è commutativa se per ogni coppia di elementi x e y in S. Se questa proprietà non è valida per ogni coppia di elementi, l'operazione è quindi detta non commutativa.
Nuovo!!: Assioma (matematica) e Commutatività · Mostra di più »
David Hilbert
È stato uno dei più eminenti ed influenti matematici del periodo a cavallo tra il XIX secolo e il XX secolo.
Nuovo!!: Assioma (matematica) e David Hilbert · Mostra di più »
Deduzione
Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita.
Nuovo!!: Assioma (matematica) e Deduzione · Mostra di più »
Euclide
È stato sicuramente il più importante matematico della storia antica, e uno dei più importanti e riconosciuti di ogni tempo e luogo.
Nuovo!!: Assioma (matematica) e Euclide · 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!!: Assioma (matematica) e Formula ben formata · Mostra di più »
Geometria
La geometria (dal greco antico "γεωμετρία", composto dal prefisso geo che rimanda alla parola γή.
Nuovo!!: Assioma (matematica) e Geometria · Mostra di più »
Geometria ellittica
La geometria ellittica o di Riemann è una geometria non euclidea ideata dal matematico Bernhard Riemann.
Nuovo!!: Assioma (matematica) e Geometria ellittica · Mostra di più »
Geometria euclidea
La geometria euclidea è un sistema matematico attribuito al matematico alessandrino Euclide, che la descrisse nei suoi Elementi.
Nuovo!!: Assioma (matematica) e Geometria euclidea · Mostra di più »
Geometria iperbolica
La geometria iperbolica, anche chiamata geometria di Bolyai-Lobachevskij, è una geometria non euclidea ottenuta rimpiazzando il postulato delle parallele con il cosiddetto postulato iperbolico.
Nuovo!!: Assioma (matematica) e Geometria iperbolica · Mostra di più »
Geometria proiettiva
La geometria proiettiva è la parte della geometria che modellizza i concetti intuitivi di prospettiva e orizzonte.
Nuovo!!: Assioma (matematica) e Geometria proiettiva · Mostra di più »
Geometria simplettica
La geometria simplettica è la branca della geometria differenziale e della topologia differenziale che studia le varietà simplettiche, cioè varietà differenziabili equipaggiate con una 2-forma chiusa non degenere.
Nuovo!!: Assioma (matematica) e Geometria simplettica · Mostra di più »
Grundlagen der Geometrie
Grundlagen der Geometrie (Fondamenti della geometria) è un volume pubblicato da David Hilbert nel 1899, il quale ottenne un successo tale da influenzare molti sviluppi della matematica del XX secolo.
Nuovo!!: Assioma (matematica) e Grundlagen der Geometrie · Mostra di più »
Gruppo (matematica)
In matematica un gruppo è una struttura algebrica formata dall'abbinamento di un insieme non vuoto con un'operazione binaria interna (come ad esempio la somma o il prodotto), che soddisfa gli assiomi dell'associatività e dell'esistenza dell'elemento neutro e inverso.
Nuovo!!: Assioma (matematica) e Gruppo (matematica) · Mostra di più »
Implicazione logica
Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) ed un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.
Nuovo!!: Assioma (matematica) e Implicazione logica · Mostra di più »
Insieme ricorsivo
Nella teoria della calcolabilità un insieme ricorsivo è intuitivamente un insieme di numeri naturali, per cui è possibile costruire un algoritmo che in un tempo finito (ma a priori non predeterminato) sia in grado, dato un qualunque numero naturale, di stabilire se esso appartiene o no all'insieme.
Nuovo!!: Assioma (matematica) e Insieme ricorsivo · 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!!: Assioma (matematica) e Isomorfismo · Mostra di più »
Kurt Gödel
Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.
Nuovo!!: Assioma (matematica) e Kurt Gödel · 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!!: Assioma (matematica) e Logica matematica · Mostra di più »
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.
Nuovo!!: Assioma (matematica) e Logica proposizionale · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Assioma (matematica) e 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!!: Assioma (matematica) e Modello (logica matematica) · Mostra di più »
Numero reale
In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come \pi.
Nuovo!!: Assioma (matematica) e Numero reale · Mostra di più »
Probabilità
Il concetto di probabilità, utilizzato a partire dal XVII secolo, è diventato con il passare del tempo la base di diverse discipline scientifiche rimanendo tuttavia non univoco.
Nuovo!!: Assioma (matematica) e Probabilità · Mostra di più »
Regola di inferenza
Nella logica matematica una regola di inferenza è uno schema formale che si applica nell'eseguire un'inferenza.
Nuovo!!: Assioma (matematica) e Regola di inferenza · Mostra di più »
Sistema assiomatico
In matematica, un sistema assiomatico (o assiomatica) è un insieme di assiomi che possono essere usati per dimostrare teoremi.
Nuovo!!: Assioma (matematica) e Sistema assiomatico · Mostra di più »
Spazio (fisica)
Lo spazio è il luogo indefinito e non limitato che contiene tutte le cose materiali.
Nuovo!!: Assioma (matematica) e Spazio (fisica) · Mostra di più »
Spazio metrico completo
In matematica, uno spazio metrico completo è uno spazio metrico in cui tutte le successioni di Cauchy sono convergenti ad un elemento dello spazio.
Nuovo!!: Assioma (matematica) e Spazio metrico completo · Mostra di più »
Teorema di completezza di Gödel
Il Teorema di completezza di Gödel è un teorema fondamentale della logica matematica ottenuto dal logico Kurt Gödel nel 1929.
Nuovo!!: Assioma (matematica) e Teorema di completezza di Gödel · 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!!: Assioma (matematica) e Teoremi di incompletezza di Gödel · Mostra di più »
Teoria assiomatica degli insiemi
La teoria degli insiemi è una branca della matematica sviluppata principalmente dal matematico tedesco Georg Cantor alla fine del XIX secolo.
Nuovo!!: Assioma (matematica) e Teoria assiomatica degli insiemi · Mostra di più »
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Nuovo!!: Assioma (matematica) e Teoria degli insiemi · Mostra di più »
Teoria dei gruppi
La teoria dei gruppi è la branca della matematica che si occupa dello studio dei gruppi.
Nuovo!!: Assioma (matematica) e Teoria dei gruppi · 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!!: Assioma (matematica) e Teoria del primo ordine · Mostra di più »
Teoria ergodica
La teoria ergodica (dal greco ἔργον érgon, lavoro, energia e ὁδός hodós «via, percorso») si occupa principalmente dello studio matematico del comportamento medio, a lungo termine, di sistemi dinamici.
Nuovo!!: Assioma (matematica) e Teoria ergodica · Mostra di più »
Topologia
La topologia o studio dei luoghi (dal greco τόπος, tópos, "luogo", e λόγος, lógos, "studio") è lo studio delle proprietà delle figure e delle forme che non cambiano quando viene effettuata una deformazione senza "strappi", "sovrapposizioni" o "incollature".
Nuovo!!: Assioma (matematica) e Topologia · Mostra di più »
V postulato di Euclide
Il V postulato di Euclide è il postulato più conosciuto fra quelli che il matematico Euclide enuncia nei suoi Elementi.
Nuovo!!: Assioma (matematica) e V postulato di Euclide · Mostra di più »
XIX secolo
È il primo secolo dell'età contemporanea, un secolo di grandi trasformazioni sociali, politiche, culturali ed economiche a partire dalla caduta di Napoleone Bonaparte e la successiva Restaurazione, i moti rivoluzionari, la costituzione di molti stati moderni tra cui il Regno d'Italia, la guerra di secessione americana, la seconda rivoluzione industriale fra positivismo, evoluzionismo e decadentismo, l'imperialismo e sul finire la grande depressione e la Belle Époque.
Nuovo!!: Assioma (matematica) e XIX secolo · Mostra di più »
Riorienta qui:
Assioma di generalizzazione esistenziale, Assioma di istanziazione universale, Assioma di uguaglianza, Assunto (matematica), Postulati.
