l'accesso più veloce di browser!
44 relazioni: Alfred North Whitehead, Antinomia, Aritmetica, Assioma dell'infinito, Assioma della scelta, Bertrand Russell, Characteristica universalis, Classe (matematica), David Hilbert, Filosofia, Frank Plumpton Ramsey, Geometria, Georg Cantor, George Boole, Giuseppe Peano, Gottfried Wilhelm von Leibniz, Gottlob Frege, Henri Poincaré, Hermann von Helmholtz, Intuizionismo, Karl Weierstrass, Kurt Gödel, Logica, Luitzen Brouwer, Matematica, Nominalismo, Numero naturale, Ontologia, Paradosso di Russell, Principia Mathematica, Psicologia, Psicologismo, Richard Dedekind, Sistema formale, Teorema, Teoremi di incompletezza di Gödel, Teoria degli insiemi, Teoria dei tipi, Teoria ingenua degli insiemi, XIX secolo, XX secolo, 1910, 1913, 1931.
Alfred North Whitehead
Si occupò di logica, matematica, epistemologia, teologia e metafisica.
Nuovo!!: Logicismo e Alfred North Whitehead · Mostra di più »
Antinomia
L'antinomia (dal greco αντι, preposizione che indica una contrapposizione, e νομος, legge) è un particolare tipo di paradosso che indica la compresenza di due affermazioni contraddittorie che possono essere entrambe dimostrate o giustificate.
Nuovo!!: Logicismo e Antinomia · Mostra di più »
Aritmetica
L'aritmetica (dal greco ἀριθμός.
Nuovo!!: Logicismo e Aritmetica · Mostra di più »
Assioma dell'infinito
Nella teoria degli insiemi, l'assioma dell'infinito è uno degli assiomi della teoria degli insiemi di Zermelo-Fraenkel.
Nuovo!!: Logicismo e Assioma dell'infinito · 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!!: Logicismo e Assioma della scelta · Mostra di più »
Bertrand Russell
Fu anche un autorevole esponente del movimento pacifista e un divulgatore della filosofia.
Nuovo!!: Logicismo e Bertrand Russell · Mostra di più »
Characteristica universalis
L'espressione latina characteristica universalis, comunemente tradotta come "caratteristica universale" o "carattere universale", è un linguaggio formale e universale, concepito dal filosofo tedesco Gottfried Leibniz, in grado di esprimere, tramite una serie di simboli, concetti matematici, scientifici e metafisici.
Nuovo!!: Logicismo e Characteristica universalis · Mostra di più »
Classe (matematica)
Nella moderna teoria degli insiemi, per classe si intende una generica collezione di oggetti che possono essere univocamente identificati (per esempio, tramite una proprietà che li accomuni).
Nuovo!!: Logicismo e Classe (matematica) · 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!!: Logicismo e David Hilbert · Mostra di più »
Filosofia
La filosofia (philosophía, composto di φιλεῖν (phileîn), "amare", e σοφία (sophía), "sapienza", ossia "amore per la sapienza") è un campo di studi che si pone domande e riflette sul mondo e sull'essere umano, indaga sul senso dell'essere e dell'esistenza umana, tenta di definire la natura e analizza le possibilità e i limiti della conoscenza.
Nuovo!!: Logicismo e Filosofia · Mostra di più »
Frank Plumpton Ramsey
Diede importanti contributi nel campo della filosofia, logica matematica, probabilità ed economia.
Nuovo!!: Logicismo e Frank Plumpton Ramsey · Mostra di più »
Geometria
La geometria (dal greco antico "γεωμετρία", composto dal prefisso geo che rimanda alla parola γή.
Nuovo!!: Logicismo e Geometria · Mostra di più »
Georg Cantor
Cantor ha allargato la teoria degli insiemi fino a comprendere al suo interno i concetti di numeri transfiniti, numeri cardinali e ordinali.
Nuovo!!: Logicismo e Georg Cantor · 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!!: Logicismo 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!!: Logicismo 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!!: Logicismo 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!!: Logicismo e Gottlob Frege · Mostra di più »
Henri Poincaré
Poincaré viene considerato un enciclopedico e in matematica l'ultimo universalista, dal momento che eccelse in tutti i campi della disciplina nota ai suoi giorni.
Nuovo!!: Logicismo e Henri Poincaré · Mostra di più »
Hermann von Helmholtz
Un vero homo universalis, fu uno degli scienziati più poliedrici del suo tempo e venne soprannominato Cancelliere della fisica.
Nuovo!!: Logicismo e Hermann von Helmholtz · Mostra di più »
Intuizionismo
Nella filosofia della matematica, l'intuizionismo, o neointuizionismo (opposto al preintuizionismo), è un approccio alla matematica in cui ogni oggetto matematico è considerato un prodotto dell'attività costruttiva della mente umana.
Nuovo!!: Logicismo e Intuizionismo · Mostra di più »
Karl Weierstrass
Karl Weierstrass era il primo fra i quattro figli di Wilhem Weierstrass, un ufficiale governativo, e Theodora Vonderforst, morta quando lui aveva 12 anni.
Nuovo!!: Logicismo e Karl Weierstrass · 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!!: Logicismo 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!!: Logicismo e Logica · Mostra di più »
Luitzen Brouwer
Fin da giovane mostrò attitudine alla ricerca matematica, e dimostrò una serie di importanti teoremi in topologia.
Nuovo!!: Logicismo e Luitzen Brouwer · 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!!: Logicismo e Matematica · Mostra di più »
Nominalismo
Il nominalismo è la dottrina dei filosofi chiamati nominales, che rappresentarono una delle correnti più importanti della Scolastica.
Nuovo!!: Logicismo e Nominalismo · Mostra di più »
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare.
Nuovo!!: Logicismo e Numero naturale · Mostra di più »
Ontologia
L'ontologia, una delle branche fondamentali della filosofia, è lo studio dell'essere in quanto tale, nonché delle sue categorie fondamentali.
Nuovo!!: Logicismo e Ontologia · 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!!: Logicismo e Paradosso di Russell · Mostra di più »
Principia Mathematica
Principia Mathematica è un'opera sui fondamenti logici della matematica scritta da Alfred North Whitehead e Bertrand Russell.
Nuovo!!: Logicismo e Principia Mathematica · Mostra di più »
Psicologia
La psicologia è la disciplina, afferente alle scienze umane, che studia il comportamento e la mente, attraverso lo studio dei processi psichici, mentali e cognitivi nelle loro componenti consce e inconscecfr., mediante l'uso del metodo scientifico e/o appoggiandosi ad una prospettiva soggettiva intrapersonale.
Nuovo!!: Logicismo e Psicologia · Mostra di più »
Psicologismo
Per psicologismo si intende in filosofia quella posizione che identifica leggi logiche e leggi psicologiche.
Nuovo!!: Logicismo e Psicologismo · Mostra di più »
Richard Dedekind
Ha dato importanti contributi alla teoria dei numeri, lavorando in stretto contatto con Ernst Eduard Kummer.
Nuovo!!: Logicismo 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!!: Logicismo 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!!: Logicismo 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!!: Logicismo 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!!: Logicismo e Teoria degli insiemi · Mostra di più »
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.
Nuovo!!: Logicismo e Teoria dei tipi · Mostra di più »
Teoria ingenua degli insiemi
La teoria ingenua degli insiemi si distingue dalla teoria assiomatica degli insiemi per il fatto che la prima considera gli insiemi come collezioni di oggetti, chiamati elementi o membri dell'insieme, mentre la seconda considera insiemi quelli che soddisfano determinati assiomi.
Nuovo!!: Logicismo e Teoria ingenua degli insiemi · 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!!: Logicismo e XIX secolo · Mostra di più »
XX secolo
È il secondo secolo dell'età contemporanea, un secolo caratterizzato dalla rivoluzione russa, dalle due guerre mondiali e dai regimi totalitari, intervallate dalla grande depressione del 29 nella prima metà del secolo e dalla terza rivoluzione industriale fino all'era della globalizzazione nella seconda metà.
Nuovo!!: Logicismo e XX secolo · Mostra di più »
1910
Nessuna descrizione.
Nuovo!!: Logicismo e 1910 · Mostra di più »
1913
Nessuna descrizione.
Nuovo!!: Logicismo e 1913 · Mostra di più »
1931
Nessuna descrizione.
Nuovo!!: Logicismo e 1931 · Mostra di più »
