analìtico
Dizionario delle Scienze Fisiche (1996)
analitico
analìtico [agg. (pl.m. -ci) Der. di analisi] [ANM] Continuazione a.: v. funzioni di variabile complessa: II 777 f. ◆ [RGR] Estensione a.: lo stesso che varietà pseudoriemanniana completa, varietà [...] asintoticamente piatta. ◆ [ANM] Funzione a.: v. funzioni di variabile complessa: II 776 d. ◆ [FAF] Giudizio a.: nella logica, quello in cui il concetto del predicato è implicitamente contenuto nel concetto del soggetto. ◆ [ANM] Prolungamento a.: lo ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Erdős, Paul
Enciclopedia on line
Matematico statunitense di origine ungherese (Budapest 1913 - Varsavia 1996). Professore presso l'Accademia ungherese delle scienze tecniche, ha insegnato in varie università europee e degli Stati Uniti. [...] intero, dimostrato in collab. con M. Kac, è alla base della moderna teoria probabilistica dei numeri; con il calcolo delle partizioni nella teoria degli insiemi, E. ha creato un nuovo campo di ricerca intermedio tra questa e la logica matematica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Church, Alonzo
Enciclopedia on line
Matematico e logico-matematico statunitense (Washington 1903 - Hudson, Ohio, 1995), prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, dal 1967 di matematica e filosofia [...] solo rendere accettabile con argomenti di carattere sperimentale. Ch. sviluppò anche altre linee di ricerca, quali le relazioni con la logica combinatoria di Curry, le questioni di teoria dei tipi e il λ-calcolo. Tra le opere: The calculi of lambda ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
fondamento
Enciclopedia on line
Filosofia
Ciascuno dei principi logici od ontologici alla base di un sistema filosofico, o degli assiomi su cui è costruita una scienza e che ne sanciscono la validità.
Critica dei f. Processo iniziato [...] si indica quel capitolo della matematica che si occupa della rigorosa assiomatizzazione delle sue diverse branche, dell’analisi logica dei procedimenti dimostrativi usati ( critica dei f.), dello studio degli insiemi, intesi come puri e semplici ...
Leggi Tutto
linguaggio
Dizionario delle Scienze Fisiche (1996)
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] I 343 a. ◆ [ELT] [INF] L. contestuale, acontestuale, regolare: v. automi, teoria degli: I 331 f, c. ◆ [ALG] [FAF] L. deduttivo: v. logica: III 486 a. ◆ [ELT] [INF] L. di definizione e manipolazione di dati: v. base dei dati: I 343 b. ◆ [ELT] [INF] L ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
CAPRA, Baldassarre
Dizionario Biografico degli Italiani (1976)
CAPRA, Baldassarre
Giuliano Gliozzi
Nacque a Milano nel 1580 dal conte Marco Aurelio e da Ippolita Dalla Croce.
La famiglia, del cui nome si trova anche la forma latinizzata Capella, era di antica nobiltà; [...] grandi speranze nell'ingegno del figlio, cosicché lo accompagnò a Padova verso il 1594 perché potesse apprendervi la scienza logica e fisica, adattandosi anche a dare lezioni di scherma, poiché le sue condizioni economiche non erano molto floride. Il ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
operatore
Enciclopedia on line
Biologia
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] o., Mikusiński dà una fondazione rigorosa ai metodi del calcolo simbolico senza far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una forma enunciativa in un enunciato, in un individuo o in un attributo ...
Leggi Tutto
combinatorio
Enciclopedia on line
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] suoi limiti. Alla possibilità di simboleggiare i concetti in segni geometrici o algebrici si rifarà più tardi la logica matematica.
Informatica
Ottimizzazione combinatoria
Locuzione, usata anche nella ricerca operativa, per indicare quei problemi di ...
Leggi Tutto
materiale 1
Dizionario delle Scienze Fisiche (1996)
materiale 1
materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] v. cinematica: I 698 d. ◆ [MCC] Derivata m.: lo stesso che derivata totale: v. cinematica: I 598 e. ◆ [FAF] [ALG] Equivalenza m.: nella logica matematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
Ars magna
Enciclopedia on line
Titolo con cui sono note due opere scientifiche.
Ars compendiosa inveniendi veritatem Trattato (1277 circa) del filosofo, teologo, mistico e missionario catalano R. Lullo (1233/1235-1315), che svolge uno [...] ragionamenti analitico-sintetici di assoluta evidenza, come i ragionamenti matematici. Larghissima è stata l'influenza della logica lulliana fino a tutto il Rinascimento legata a programmi enciclopedici e mnemotecnici.
Artis magnae sive de regulis ...
Leggi Tutto