Indice
38 relazioni: Algebra di Boole, Arco (topologia), Costruttivismo matematico, Decidibilità, Ennupla, Filosofo, Fondamenti della matematica, Linguaggio del primo ordine, Linguaggio di programmazione, Lista concatenata, Logica intuizionista, Matematico, Metalinguaggio, Negazione (matematica), Numero intero, Numero naturale, Numero primo, Numero razionale, Numero reale, Omotopia, Pattern matching, Principio d'induzione, Problema decisionale, Prodotto cartesiano, Punto (geometria), Quantificatore, Record (informatica), Relazione ben fondata, Relazione riflessiva, Sistema dei tipi, Somma disgiunta, Svezia, Teoria degli insiemi, Teoria dei tipi, Teoria della dimostrazione, Teoria delle categorie, Tertium non datur, Valore (informatica).
Algebra di Boole
Lalgebra di Boole (anche detta algebra booleana, logica 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.
Vedere Teoria dei tipi intuizionista e Algebra di Boole
Arco (topologia)
In matematica, un arco (o cammino) in uno spazio topologico X è una funzione continua dall'intervallo unitario I.
Vedere Teoria dei tipi intuizionista e Arco (topologia)
Costruttivismo matematico
Nella filosofia della matematica, attorno all’espressione costruttivismo si raccolgono una varietà di prospettive e programmi di ricerca che, sebbene raccolgano eredità storiche e muovano da considerazioni tra loro assai diverse e non sempre compatibili, convergono tutte intorno all’obiettivo di proporre una nozione di esistenza più esplicita e distinta da quella invece asseribile - all’interno del modello di volta in volta messo a punto per meglio catturare le proprietà dell'insieme, sistema o struttura oggetto di studio - a partire dalla premessa che ciascuna affermazione possegga un valore di verità determinato (principio di bivalenza) e facente spesso leva sulla coerenza del modello (attraverso l'invocazione del principio del terzo escluso o il ricorso alla dimostrazione per assurdo).
Vedere Teoria dei tipi intuizionista e Costruttivismo matematico
Decidibilità
Il concetto di decidibilità si trova in logica matematica e in teoria della computabilità con accezioni differenti.
Vedere Teoria dei tipi intuizionista e Decidibilità
Ennupla
In matematica si definisce ennupla (scritto anche n-pla o n-upla), tupla o più propriamente tupla ordinata, una collezione o un elenco ordinato di n oggetti.
Vedere Teoria dei tipi intuizionista e Ennupla
Filosofo
Il filosofo, nella definizione più generica, è colui che professa e/o mette in atto una filosofia, cioè, una dottrina, elaborata attraverso un'autonoma indagine razionale, in parte originale e in parte che si richiama, in accordo o in contrasto, ai pensatori che lo hanno preceduto nella storia della filosofia, su aspetti universali, teoretici e pratici, della vita umana.
Vedere Teoria dei tipi intuizionista e Filosofo
Fondamenti della matematica
Nei ''Principia Mathematica'', Bertrand Russell e Alfred North Whitehead propongono di fondare la matematica su basi logiche Per fondamenti della matematica si intende lo studio delle basi logiche e filosofiche della matematica.
Vedere Teoria dei tipi intuizionista e Fondamenti della matematica
Linguaggio del primo ordine
Nella logica matematica il linguaggio del primo ordine, detto anche logica dei predicati 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..." (∃).
Vedere Teoria dei tipi intuizionista e Linguaggio del primo ordine
Linguaggio di programmazione
Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.
Vedere Teoria dei tipi intuizionista e Linguaggio di programmazione
Lista concatenata
In informatica, una lista concatenata (o linked list) è una struttura dati dinamica, tra quelle fondamentali usate nella programmazione. Consiste di una sequenza di nodi, ognuno contenente campi di dati arbitrari ed uno o due riferimenti ("link") che puntano al nodo successivo e/o precedente.
Vedere Teoria dei tipi intuizionista e Lista concatenata
Logica intuizionista
La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.
Vedere Teoria dei tipi intuizionista e Logica intuizionista
Matematico
Un matematico è una persona che effettua studi, ricerche e sperimentazioni riguardanti problemi della matematica. Alcuni scienziati di altri campi di ricerca possono essere considerati matematici se la loro ricerca offre nuove idee matematiche; un esempio notevole è Edward Witten.
Vedere Teoria dei tipi intuizionista e Matematico
Metalinguaggio
Nella logica e nella teoria dei linguaggi formali per metalinguaggio si intende un linguaggio formalmente definito che ha come scopo la definizione di altri linguaggi artificiali, definiti linguaggi obiettivo o linguaggi oggetto (nell'ambito di SGML e di XML si usa anche il termine applicazioni).
Vedere Teoria dei tipi intuizionista e Metalinguaggio
Negazione (matematica)
In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.
Vedere Teoria dei tipi intuizionista e Negazione (matematica)
Numero intero
Il simbolo dell'insieme dei numeri interi I numeri interi (o numeri interi relativi o, semplicemente, numeri relativi) corrispondono all'insieme ottenuto unendo i numeri naturali (0, 1, 2,...) e i numeri interi negativi (−1, −2, −3,...), cioè quelli ottenuti ponendo un segno “−” davanti ai naturali.
Vedere Teoria dei tipi intuizionista e Numero intero
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare. Nel linguaggio comune i "numeri cardinali" sono quelli usati per contare e i "numeri ordinali" sono quelli usati per ordinare.
Vedere Teoria dei tipi intuizionista e Numero naturale
Numero primo
In matematica, un numero primo (in breve anche primo) è un numero intero positivo che abbia esattamente due divisori distinti. In modo equivalente si può definire come un numero naturale maggiore di 1 che sia divisibile solamente per 1 e per sé stesso; al contrario, un numero maggiore di 1 che abbia più di due divisori è detto composto.
Vedere Teoria dei tipi intuizionista e Numero primo
Numero razionale
In matematica, un numero razionale è un numero ottenibile come rapporto tra due numeri interi primi fra loro, il secondo dei quali diverso da 0.
Vedere Teoria dei tipi intuizionista e Numero razionale
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.
Vedere Teoria dei tipi intuizionista e Numero reale
Omotopia
Illustrazione di una omotopia H fra due curve, gamma_0 e gamma_1 In topologia, due funzioni continue da uno spazio topologico X ad un altro Y sono dette omotope (dal greco homos.
Vedere Teoria dei tipi intuizionista e Omotopia
Pattern matching
In informatica, il pattern matching è l'azione di controllo della presenza di un certo motivo (pattern) all'interno di un oggetto composito.
Vedere Teoria dei tipi intuizionista e Pattern matching
Principio d'induzione
Il principio d'induzione (da non confondersi con il metodo di 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.
Vedere Teoria dei tipi intuizionista e Principio d'induzione
Problema decisionale
Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o più criteri.
Vedere Teoria dei tipi intuizionista e Problema decisionale
Prodotto cartesiano
In matematica il prodotto cartesiano di due insiemi A e B è l'insieme delle coppie ordinate (a,b) con a in A e b in B. Formalmente: Se A e B sono insiemi distinti, i prodotti Atimes B e Btimes A sono formalmente distinti, anche se sono in naturale corrispondenza biunivoca.
Vedere Teoria dei tipi intuizionista e Prodotto cartesiano
Punto (geometria)
In geometria il punto è un concetto primitivo. Intuitivamente equivale a un'entità adimensionale spaziale, per cui può essere considerato semplicemente come una posizione, cioè come una coordinata.
Vedere Teoria dei tipi intuizionista e Punto (geometria)
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Vedere Teoria dei tipi intuizionista e Quantificatore
Record (informatica)
In informatica, un record (noto anche come struttura) è un tipo di dato strutturato che comprende diversi elementi (detti campi o membri) di tipo eterogeneo.
Vedere Teoria dei tipi intuizionista e Record (informatica)
Relazione ben fondata
In matematica, una relazione binaria R si dice ben fondata su una classe X se ogni sottoinsieme non vuoto S ⊆ X ha un elemento minimale rispetto a R, cioè un elemento m per cui, per ogni s ∈ S, non valga s R m. In altre parole, una relazione è ben fondata se: Alcuni autori includono un'ulteriore condizione, vale a dire che R sia simile ad un insieme, cioè che gli elementi minori di un qualunque elemento dato formino a loro volta un insieme.
Vedere Teoria dei tipi intuizionista e Relazione ben fondata
Relazione riflessiva
In logica e in matematica, una relazione binaria R in un insieme X è detta riflessiva se ogni elemento di X è in tale relazione con sé stesso.
Vedere Teoria dei tipi intuizionista e Relazione riflessiva
Sistema dei tipi
In informatica, un sistema dei tipi è un framework sintattico per la classificazione di espressioni secondo i tipi che esse calcolano. Un sistema dei tipi associa tipi a ogni valore computato.
Vedere Teoria dei tipi intuizionista e Sistema dei tipi
Somma disgiunta
La somma disgiunta o unione disgiunta di due insiemi corrisponde all'unione insiemistica, realizzata in modo da considerare distinti elementi appartenenti ad insiemi distinti.
Vedere Teoria dei tipi intuizionista e Somma disgiunta
Svezia
La Svezia (·), ufficialmente chiamata Regno di Svezia (in svedese: Konungariket Sverige), è uno Stato membro dell'Unione europea e della NATO, situato nella penisola scandinava.
Vedere Teoria dei tipi intuizionista e Svezia
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Vedere Teoria dei tipi intuizionista e Teoria degli insiemi
Teoria dei tipi
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi.
Vedere Teoria dei tipi intuizionista e Teoria dei tipi
Teoria della dimostrazione
La teoria della dimostrazione è la branca della logica matematica che considera le dimostrazioni a loro volta come oggetti matematici, facilitando la loro analisi con tecniche matematiche.
Vedere Teoria dei tipi intuizionista e Teoria della dimostrazione
Teoria delle categorie
La teoria delle categorie è una teoria matematica che studia in modo astratto le strutture matematiche e le relazioni tra esse. La nozione di categoria fu introdotta per la prima volta da Samuel Eilenberg e Saunders Mac Lane nel 1945 nell'ambito della topologia algebrica.
Vedere Teoria dei tipi intuizionista e Teoria delle categorie
Tertium non datur
Tertium non datur (tradotto: «Una terza cosa non è data») è una locuzione che sta a significare che una terza soluzione (una terza via, o possibilità) non esiste rispetto a una situazione che paia prefigurarne soltanto due.
Vedere Teoria dei tipi intuizionista e Tertium non datur
Valore (informatica)
In informatica e nella programmazione software, un valore è la rappresentazione di un'entità che può essere manipolata da un programma. I membri di un tipo di dato rappresentano i valori di quel tipo.
Vedere Teoria dei tipi intuizionista e Valore (informatica)