66 relazioni: Achille Varzi (filosofo), Alan Turing, Alfred North Whitehead, Algebra astratta, Algoritmo, Alonzo Church, Aristotele, Assioma (matematica), Augustus De Morgan, Base di Herbrand, Bertrand Russell, Combinatoria, Compilatore, Computazione, Dimostrazione automatica di teoremi, Dimostrazione matematica, Elenco (logica formale), Filosofia della matematica, Fondamenti della matematica, George Boole, Giuseppe Peano, Gottfried Wilhelm von Leibniz, Gottlob Frege, Informatica teorica, Insieme ricorsivamente enumerabile, Ipotesi del continuo, Johann Heinrich Lambert, Lambda calcolo, Lemma di König, Lemma di Zorn, Linguaggio di programmazione, Linguaggio formale, Logica, Logica aristotelica, Logica classica, Logica della computabilità, Logica dinamica, Logica filosofica, Logica intuizionista, Logica lineare, Logica modale, Matematica, Metamatematica, Model checking, Modello (logica matematica), Paul Cohen (matematico), Principia Mathematica, Programmazione logica, Semantica, Sequente, ..., Sistema formale, Teorema di compattezza (logica matematica), Teorema di compattezza (sintattico), Teorema di completezza, Teorema di completezza di Gödel, Teorema di deduzione, Teorema di Löwenheim-Skolem (debole), Teorema di semidecidibilità, Teoremi di incompletezza di Gödel, Teoria degli insiemi, Teoria dei modelli, Teoria del primo ordine, Teoria della calcolabilità, Teoria della dimostrazione, XIX secolo, 1963. Espandi índice (16 più) »
Achille Varzi (filosofo)
Esponente della filosofia analitica, in Italia è noto principalmente per le sue ricerche di logica e per il suo contributo alla rinascita degli studi in ambito di metafisica e ontologia.
Nuovo!!: Logica matematica e Achille Varzi (filosofo) · Mostra di più »
Alan Turing
Il suo lavoro ebbe vasta influenza sullo sviluppo dell'informatica, grazie alla sua formalizzazione dei concetti di algoritmo e calcolo mediante la macchina di Turing, che a sua volta ha svolto un ruolo significativo nella creazione del moderno computer.
Nuovo!!: Logica matematica e Alan Turing · Mostra di più »
Alfred North Whitehead
Si occupò di logica, matematica, epistemologia, teologia e metafisica.
Nuovo!!: Logica matematica e Alfred North Whitehead · Mostra di più »
Algebra astratta
L'algebra astratta è la branca della matematica che si occupa dello studio delle strutture algebriche come gruppi, anelli e campi.
Nuovo!!: Logica matematica e Algebra astratta · Mostra di più »
Algoritmo
Un algoritmo è un procedimento che risolve un determinato problema attraverso un numero finito di passi elementari in un tempo ragionevole.
Nuovo!!: Logica matematica e Algoritmo · Mostra di più »
Alonzo Church
Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica.
Nuovo!!: Logica matematica e Alonzo Church · Mostra di più »
Aristotele
È ritenuto una delle menti filosofiche più innovative, prolifiche e influenti del mondo antico occidentale, sia per la vastità che per la profondità dei suoi campi di conoscenza, compresa quella scientifica.
Nuovo!!: Logica matematica e Aristotele · 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!!: Logica matematica e Assioma (matematica) · Mostra di più »
Augustus De Morgan
A lui si devono i teoremi di De Morgan che sono alla base dei sistemi logici elettronici ed informatici.
Nuovo!!: Logica matematica e Augustus De Morgan · Mostra di più »
Base di Herbrand
In logica matematica, per ogni linguaggio formale con un insieme di termini dall'universo di Herbrand, la base di Herbrand definisce ricorsivamente l'insieme di tutte le formule atomiche che possono essere composte formando predicati dai termini dell'universo di Herbrand.
Nuovo!!: Logica matematica e Base di Herbrand · Mostra di più »
Bertrand Russell
Fu anche un autorevole esponente del movimento pacifista e un divulgatore della filosofia.
Nuovo!!: Logica matematica e Bertrand Russell · Mostra di più »
Combinatoria
Con il termine combinatoria (che comprende anche la geometria combinatoria) si intende il settore della matematica che studia insiemi finiti di oggetti semplici (interi, stringhe, nodi e collegamenti, punti e linee, configurazioni discrete, insiemi finiti,...) che soddisfano proprietà ben definite e tendenzialmente semplici.
Nuovo!!: Logica matematica e Combinatoria · Mostra di più »
Compilatore
Un compilatore è un programma informatico che traduce una serie di istruzioni scritte in un determinato linguaggio di programmazione (codice sorgente) in istruzioni di un altro linguaggio (codice oggetto).
Nuovo!!: Logica matematica e Compilatore · Mostra di più »
Computazione
Il termine computazione deriva dal latino computare che significa sia "contare" sia "tagliare" e ha diversi significati nella lingua italiana.
Nuovo!!: Logica matematica e Computazione · Mostra di più »
Dimostrazione automatica di teoremi
La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico.
Nuovo!!: Logica matematica e Dimostrazione automatica di teoremi · Mostra di più »
Dimostrazione matematica
Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) coerenza formale del ragionamento.
Nuovo!!: Logica matematica e Dimostrazione matematica · Mostra di più »
Elenco (logica formale)
Elenco è un termine che deriva dal greco ἔλεγχος (èlenchos) ripreso dal tardo latino elenchus e che si ritrova nella logica formale con il significato di argomentazione, detta anche redarguizione, che mira a confutare l'errore presente nell'affermazione dell'interlocutore.
Nuovo!!: Logica matematica e Elenco (logica formale) · Mostra di più »
Filosofia della matematica
La filosofia della matematica è la branca della filosofia della scienza che cerca di dare risposta a domande quali: "perché la matematica è utile nella descrizione della natura?", "in quale senso, qualora se ne trovi uno, le entità matematiche (in particolare i numeri) esistono?" "perché e in che modo gli enunciati matematici sono veri?".
Nuovo!!: Logica matematica e Filosofia della matematica · Mostra di più »
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.
Nuovo!!: Logica matematica e Fondamenti della matematica · Mostra di più »
George Boole
Padre della matematica Alicia Boole, la sua opera influenzò anche settori della filosofia e diede vita alla scuola degli algebristi della logica.
Nuovo!!: Logica matematica e George Boole · Mostra di più »
Giuseppe Peano
Fu l'inventore del latino sine flexione, una lingua ausiliaria internazionale derivata dalla semplificazione del latino classico.
Nuovo!!: Logica matematica e Giuseppe Peano · Mostra di più »
Gottfried Wilhelm von Leibniz
A lui si deve il termine "funzione", che egli usò per individuare le proprietà di una curva, tra cui l'andamento, la pendenza e la perpendicolare in un punto, la corda.
Nuovo!!: Logica matematica e Gottfried Wilhelm von Leibniz · Mostra di più »
Gottlob Frege
Frege è considerato quasi unanimemente dalla critica odierna uno dei più grandi logici dopo Aristotele, ed è il padre del pensiero formale del Novecento.
Nuovo!!: Logica matematica e Gottlob Frege · Mostra di più »
Informatica teorica
L'informatica teorica è una branca dell'informatica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale.
Nuovo!!: Logica matematica e Informatica teorica · Mostra di più »
Insieme ricorsivamente enumerabile
Nella teoria della calcolabilità esistono due definizioni di insieme ricorsivamente enumerabile (spesso abbreviato in insieme r.e.) o insieme semi-decidibile.
Nuovo!!: Logica matematica e Insieme ricorsivamente enumerabile · Mostra di più »
Ipotesi del continuo
In matematica, l'ipotesi del continuo è un'ipotesi avanzata da Georg Cantor che riguarda le dimensioni possibili per gli insiemi infiniti.
Nuovo!!: Logica matematica e Ipotesi del continuo · Mostra di più »
Johann Heinrich Lambert
Lambert nacque nel 1728 a Mulhouse in Alsazia, allora repubblica indipendente associata della Svizzera.
Nuovo!!: Logica matematica e Johann Heinrich Lambert · Mostra di più »
Lambda calcolo
Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo.
Nuovo!!: Logica matematica e Lambda calcolo · Mostra di più »
Lemma di König
Il Lemma di König in logica afferma che: Se un albero, in cui ogni nodo ha un numero finito di successori immediati, ha infiniti nodi allora in esso c'è anche un ramo infinito.
Nuovo!!: Logica matematica e Lemma di König · Mostra di più »
Lemma di Zorn
Il lemma di Zorn afferma che: «Se X è un insieme non vuoto su cui è definita una relazione d'ordine parziale tale che ogni sua catena possiede un maggiorante in X, allora X contiene almeno un elemento massimale.» Il lemma di Zorn è equivalente all'assioma della scelta e al teorema del buon ordinamento, ma la sua peculiare formulazione risulta di maggior utilità in moltissime dimostrazioni.
Nuovo!!: Logica matematica e Lemma di Zorn · Mostra di più »
Linguaggio di programmazione
Un linguaggio di programmazione, in informatica, è un linguaggio formale che specifica un insieme di istruzioni che possono essere usate per produrre dati in output.
Nuovo!!: Logica matematica e Linguaggio di programmazione · Mostra di più »
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Nuovo!!: Logica matematica e Linguaggio formale · 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!!: Logica matematica e Logica · Mostra di più »
Logica aristotelica
La Logica comprende una serie di scritti aristotelici raccolti nel titolo complessivo di Organon (in greco "Strumento") comprendenti.
Nuovo!!: Logica matematica e Logica aristotelica · Mostra di più »
Logica classica
La logica classica è la branca della logica formale che è stata più studiata e usata.
Nuovo!!: Logica matematica e Logica classica · Mostra di più »
Logica della computabilità
La Logica della computabilità (Computability logic o CoL) è un programma di ricerca e un modello matematico per riqualificare la logica come una teoria formale sistematica della computabilità, in contrapposizione alla logica classica che può essere vista come una teoria formale della verità.
Nuovo!!: Logica matematica e Logica della computabilità · Mostra di più »
Logica dinamica
La logica dinamica è una estensione della logica modale originariamente definita per il ragionamento di programmi e in seguito applicata a compiti più generali e complessi derivati dalla linguistica, dalla filosofia, dall'intelligenza artificiale e da altri campi.
Nuovo!!: Logica matematica e Logica dinamica · Mostra di più »
Logica filosofica
Secondo Susan Haack è possibile distinguere tra una logica filosofica e una filosofia della logica.
Nuovo!!: Logica matematica e Logica filosofica · Mostra di più »
Logica intuizionista
La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.
Nuovo!!: Logica matematica e Logica intuizionista · Mostra di più »
Logica lineare
La logica lineare è una logica substrutturale proposta da Jean-Yves Girard come un raffinamento della logica classica ed intuizionista, coniugando le dualità che caratterizzano i connettivi della prima con le proprietà costruttive della seconda.
Nuovo!!: Logica matematica e Logica lineare · Mostra di più »
Logica modale
Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.
Nuovo!!: Logica matematica e Logica modale · 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!!: Logica matematica e Matematica · Mostra di più »
Metamatematica
La metamatematica può definirsi come la parte della filosofia della matematica che si propone di studiare la matematica da punti di vista generali.
Nuovo!!: Logica matematica e Metamatematica · Mostra di più »
Model checking
Il model checking è un metodo per verificare algoritmicamente i sistemi formali.
Nuovo!!: Logica matematica e Model checking · 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!!: Logica matematica e Modello (logica matematica) · Mostra di più »
Paul Cohen (matematico)
Diplomato nel 1950 presso la Stuyvesant High School di New York, proseguì gli studi presso il Brooklyn College dal 1950 al 1953 e ottenne il Master of Science dall'Università di Chicago nel 1954 dove, nel 1958, completò il PhD in matematica.
Nuovo!!: Logica matematica e Paul Cohen (matematico) · Mostra di più »
Principia Mathematica
Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell.
Nuovo!!: Logica matematica e Principia Mathematica · Mostra di più »
Programmazione logica
In informatica la programmazione logica è un paradigma di programmazione che adotta la logica del primo ordine sia per rappresentare sia per elaborare l'informazione.
Nuovo!!: Logica matematica e Programmazione logica · Mostra di più »
Semantica
La semantica è quella parte della linguistica che studia il significato delle parole (semantica lessicale), degli insiemi delle singole lettere (negli e degli alfabeti antichi) e delle frasi (semantica frasale) e dei testi.
Nuovo!!: Logica matematica e Semantica · Mostra di più »
Sequente
Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta.
Nuovo!!: Logica matematica e Sequente · Mostra di più »
Sistema formale
In logica matematica la nozione di sistema formale è utilizzata per fornire una definizione rigorosa del concetto di dimostrazione.
Nuovo!!: Logica matematica e Sistema formale · 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!!: Logica matematica e Teorema di compattezza (logica matematica) · Mostra di più »
Teorema di compattezza (sintattico)
Il Teorema di compattezza (sintattico) in logica afferma che: Una teoria ha albero chiuso se e solo se c'è un suo sottoinsieme finito chiuso.
Nuovo!!: Logica matematica e Teorema di compattezza (sintattico) · Mostra di più »
Teorema di completezza
Nella logica matematica il Teorema di completezza (debole) afferma che: Una teoria è soddisfacibile se e solo se l'albero unione T^\infty, unione degli alberi T_n della successione costruita a partire da una teoria, è aperto.
Nuovo!!: Logica matematica e Teorema di completezza · 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!!: Logica matematica e Teorema di completezza di Gödel · Mostra di più »
Teorema di deduzione
Nella logica matematica, il teorema di deduzione afferma che se una formula F è deducibile da un'altra formula E allora l'implicazione E → F è dimostrabile (ovvero è "deducibile" dall'insieme vuoto) e, viceversa, che se l'implicazione E → F è dimostrabile, allora la formula F è deducibile da E. In simboli, E \vdash F se e solo se \vdash E \rightarrow F..
Nuovo!!: Logica matematica e Teorema di deduzione · Mostra di più »
Teorema di Löwenheim-Skolem (debole)
In logica matematica, il teorema di Löwenheim-Skolem (debole) afferma che se un insieme di enunciati \Gamma ha modello infinito allora ha modello di qualsiasi cardinalità maggiore od uguale alla cardinalità del linguaggio \mathfrak.
Nuovo!!: Logica matematica e Teorema di Löwenheim-Skolem (debole) · Mostra di più »
Teorema di semidecidibilità
Nella logica matematica il teorema di semidecidibilità afferma che: L'albero unione T^\infty è chiuso se e solo se c'è un numero naturale n tale che l'albero T_n della successione è chiuso.
Nuovo!!: Logica matematica e Teorema di semidecidibilità · 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!!: Logica matematica e Teoremi di incompletezza di Gödel · 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!!: Logica matematica e Teoria degli insiemi · Mostra di più »
Teoria dei modelli
La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.
Nuovo!!: Logica matematica e Teoria dei modelli · 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!!: Logica matematica 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!!: Logica matematica e Teoria della calcolabilità · Mostra di più »
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.
Nuovo!!: Logica matematica e Teoria della dimostrazione · 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!!: Logica matematica e XIX secolo · Mostra di più »
1963
Nessuna descrizione.
Nuovo!!: Logica matematica e 1963 · Mostra di più »
Riorienta qui:
Logica formale, Logica simbolica.