l'accesso più veloce di browser!
34 relazioni: Alfred North Whitehead, Aristotele, Assioma, Assioma (matematica), Assiomi di Hilbert, Assiomi di Peano, Assiomi logici, Bertrand Russell, Concetto primitivo, David Hilbert, Elementi (Euclide), Geometria euclidea, Geometria piana, Giuseppe Peano, Gottlob Frege, Grundlagen der Geometrie, Insieme, Kurt Gödel, Logica, Matematica, Organon, Paradosso di Russell, Platone, Principia Mathematica, Problemi di Hilbert, Richard Dedekind, Sistema formale, Teorema, Teoremi di incompletezza di Gödel, Teoria, Teoria del primo ordine, V postulato di Euclide, 1888, 1899.
Alfred North Whitehead
Si occupò di logica, matematica, epistemologia, teologia e metafisica.
Nuovo!!: Sistema assiomatico e Alfred North Whitehead · 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!!: Sistema assiomatico e Aristotele · 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!!: Sistema assiomatico e Assioma · 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!!: Sistema assiomatico e Assioma (matematica) · Mostra di più »
Assiomi di Hilbert
Nel 1899, David Hilbert scrisse il suo Grundlagen der Geometrie, in cui dava una sistemazione assiomatica alla geometria euclidea.
Nuovo!!: Sistema assiomatico e Assiomi di Hilbert · 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!!: Sistema assiomatico 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!!: Sistema assiomatico e Assiomi logici · Mostra di più »
Bertrand Russell
Fu anche un autorevole esponente del movimento pacifista e un divulgatore della filosofia.
Nuovo!!: Sistema assiomatico e Bertrand Russell · Mostra di più »
Concetto primitivo
In molte presentazioni di nozioni matematiche per concetto primitivo o nozione primitiva si intende un concetto che, per la propria semplicità ed intuitività, si rinuncia a definire mediante termini e concetti già definiti all'interno di un sistema formale, e che al contrario si sceglie di sfruttare per formulare la definizione di altri concetti; pertanto un concetto primitivo si accetta senza spiegazioni perché il suo significato è ovvio.
Nuovo!!: Sistema assiomatico e Concetto primitivo · 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!!: Sistema assiomatico e David Hilbert · Mostra di più »
Elementi (Euclide)
Gli Elementi (Stoichêia) di Euclide sono la più importante opera matematica giuntaci dalla cultura greca antica.
Nuovo!!: Sistema assiomatico e Elementi (Euclide) · Mostra di più »
Geometria euclidea
La geometria euclidea è un sistema matematico attribuito al matematico alessandrino Euclide, che la descrisse nei suoi Elementi.
Nuovo!!: Sistema assiomatico e Geometria euclidea · Mostra di più »
Geometria piana
Per geometria piana si intende quel ramo della geometria euclidea orientato, appunto, al piano.
Nuovo!!: Sistema assiomatico e Geometria piana · Mostra di più »
Giuseppe Peano
Fu l'inventore del latino sine flexione, una lingua ausiliaria internazionale derivata dalla semplificazione del latino classico.
Nuovo!!: Sistema assiomatico e Giuseppe Peano · 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!!: Sistema assiomatico e Gottlob Frege · 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!!: Sistema assiomatico e Grundlagen der Geometrie · 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!!: Sistema assiomatico e Insieme · 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!!: Sistema assiomatico e Kurt Gödel · 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!!: Sistema assiomatico e Logica · 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!!: Sistema assiomatico e Matematica · Mostra di più »
Organon
Organon (Órganon, "strumento") è il nome dato da Andronico di Rodi, seguace di Aristotele tra i Peripatetici, all'edizione delle sue sei opere di logica.
Nuovo!!: Sistema assiomatico e Organon · Mostra di più »
Paradosso di Russell
Il paradosso di Russell, formulato dal filosofo e logico britannico Bertrand Russell tra il 1901 e il 1902, è una delle antinomie più importanti della storia della filosofia e della logica.
Nuovo!!: Sistema assiomatico e Paradosso di Russell · Mostra di più »
Platone
Assieme al suo maestro Socrate e al suo allievo Aristotele ha posto le basi del pensiero filosofico occidentale.«The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato» (A. N. Whitehead, in Process and Reality, p. 39, Free Press, 1979).
Nuovo!!: Sistema assiomatico e Platone · Mostra di più »
Principia Mathematica
Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell.
Nuovo!!: Sistema assiomatico e Principia Mathematica · Mostra di più »
Problemi di Hilbert
I Problemi di Hilbert costituiscono una lista di 23 problemi matematici stilata da David Hilbert e presentata l'8 agosto 1900 nella sua conferenza del Congresso internazionale dei matematici svolta a Parigi.
Nuovo!!: Sistema assiomatico e Problemi di Hilbert · Mostra di più »
Richard Dedekind
Ha dato importanti contributi alla teoria dei numeri, lavorando in stretto contatto con Ernst Eduard Kummer.
Nuovo!!: Sistema assiomatico e Richard Dedekind · Mostra di più »
Sistema formale
In logica matematica la nozione di sistema formale è utilizzata per fornire una definizione rigorosa del concetto di dimostrazione.
Nuovo!!: Sistema assiomatico e Sistema formale · Mostra di più »
Teorema
Un teorema è una proposizione che, a partire da condizioni iniziali arbitrariamente stabilite, trae delle conclusioni, dandone una dimostrazione.
Nuovo!!: Sistema assiomatico e Teorema · 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!!: Sistema assiomatico e Teoremi di incompletezza di Gödel · Mostra di più »
Teoria
Il termine teoria (dal greco θεωρέω theoréo "guardo, osservo", composto da θέα thèa Il termine è connesso con θέα théa, "spettacolo", a sua volta derivato da θαῦμα thâuma, "visione". Il termine mantiene però esclusivamente il significato di "guardare"., "spettacolo" e ὁράω horào, "vedo") indica, nel linguaggio comune, un'idea nata in base ad una qualche ipotesi, congettura, speculazione o supposizione, anche astratte rispetto alla realtà.
Nuovo!!: Sistema assiomatico e Teoria · 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!!: Sistema assiomatico e Teoria del primo ordine · 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!!: Sistema assiomatico e V postulato di Euclide · Mostra di più »
1888
Nessuna descrizione.
Nuovo!!: Sistema assiomatico e 1888 · Mostra di più »
1899
Nessuna descrizione.
Nuovo!!: Sistema assiomatico e 1899 · Mostra di più »
Riorienta qui:
Assiomatica, Assiomatizzazione, Sistema di assiomi.
