Lèvi, Beppo
Enciclopedia on line
Matematico italiano (Torino 1875 - Rosario, Argentina, 1961), prof. di geometria analitica e analisi algebrica (dal 1906) nelle univ. di Cagliari, Parma, Bologna. Nel 1938, in seguito ai provvedimenti [...] (1935-38 e dal 1945). Autore di significativi contributi alla geometria algebrica (scioglimento delle singolarità delle superfici, forme cubiche ternarie), ai fondamenti della geometria e dell'analisi, alla logica matematica (postulato di Zermelo). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
psicanalisi
Enciclopedia on line
Disciplina, fondata da S. Freud, che ha per oggetto lo studio e il trattamento terapeutico di disturbi di tipo psicologico nel quadro di una teoria dinamica della psiche il cui concetto centrale è quello [...] , mise in evidenza l’organizzazione linguistica e semantica dell’inconscio secondo criteri suoi propri.
Le suggestioni della logica matematica anziché della linguistica sono alla base degli studi di I. Matte Blanco, tra i maggiori psicanalisti dell ...
Leggi Tutto
legge
Enciclopedia on line
Diritto
Diritto costituzionale
In via generale, l’atto di un organo (monocratico o collegiale) investito della cosiddetta funzione legislativa. A differenza della consuetudine, che nasce spontaneamente [...] astratta e generale (l. assiomatiche che non discendono da enunciati più generali: per es., la l. delle inverse in logica matematica); oppure relazioni di più o meno diretta derivazione sperimentale (l. empiriche: per es., la l. di van der Waals ...
Leggi Tutto
Prior, Arthur Norman
Enciclopedia on line
Logico e filosofo inglese (Masterton 1914 - Oxford 1969), compì i primi studi in Nuova Zelanda. Prof. al Canterbury College di Christchurch (Nuova Zelanda), passò poi in Inghilterra, dove insegnò nell'univ. [...] partic. da J. Łukasiewicz), ha dato importanti contributi di logica matematica e storia della logica. Di grande rilievo le sue ricerche di logica temporale, cioè su quella branca della logica che studia asserzioni con operatori temporali, per es. "è ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ars combinatoria
Enciclopedia on line
Locuzione con cui G. Leibniz definì quella che già R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli [...] , la sussistenza di un mondo concettuale in sé conchiuso ed esauribile nei suoi limiti, e dall’altro la possibilità di simboleggiare i concetti in segni geometrici o algebrici. A quest’ultimo aspetto si rifarà più tardi la logica matematica. ...
Leggi Tutto
Zermelo, Ernst
Enciclopedia on line
Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, [...] insieme può essere bene ordinato, ha suscitato la più viva discussione tra i matematici all'inizio del sec. 20º e ha condotto a un rilevante sviluppo dell'indagine critica dei fondamenti della logica matematica e della teoria generale degli insiemi. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
topos
Enciclopedia on line
topos Luogo comune, motivo ricorrente, in un’opera nella tematica di un autore o di un’epoca.
In matematica, particolare categoria, introdotta per la prima volta in questioni di topologia algebrica e di [...] logica matematica da A. Grothendieck verso il 1960; la nozione di t. è stata successivamente sviluppata da F.W. Lawvere e da altri. ...
Leggi Tutto
sintassi
Enciclopedia on line
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] di una sillabazione sintattica solo quando c’è un apostrofo (per es., u-n’altra, e invece un - altro).
Matematica
In logica matematica, nello studio di una teoria formalizzata, la s. è quella parte della metateoria che studia le proprietà degli ...
Leggi Tutto
teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] certo rilievo presentano alcune recenti analisi semantiche delle t., intese come sistemi assiomatici, nei termini della teoria logico-matematica dei modelli. Tali analisi, per le quali la distinzione teorico-osservativo ha perduto la centralità che ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
tipo
Enciclopedia on line
tipo Insieme di oggetti, elementi, individui conformi a un determinato schema o modello, aventi caratteri simili che li accomunano tra loro e insieme li distinguono da altri.
Biologia
Specie tipica è [...] , o diagnosi di una specie (o di un taxon subordinato). La tipificazione è la designazione del tipo.
Matematica
In logica matematica, teoria dei t., teoria introdotta da B. Russell e successivamente modificata e perfezionata da lui stesso e da ...
Leggi Tutto