Kőnig, Gyula
Enciclopedia on line
Matematico ungherese (Győr 1849 - Budapest 1913). Docente universitario; membro dell'Accademia ungherese delle scienze; si è occupato in modo particolare di questioni inerenti alla teoria degli insiemi [...] e alla logica matematica. Suoi lavori: Analízis ("Analisi", 1887), Az algebrai mennyiségek általános elméletének alapvonalai ("Lineamenti fondamentali della teoria generale delle quantità algebriche", 1903). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
polivalente
Dizionario delle Scienze Fisiche (1996)
polivalente
polivalènte [agg. Comp. di poli- e -valente] [CHF] Detto: (a) di elemento che presenta più di un grado di valenza (per es., il ferro, che è bi-, tri- ed esavalente, raramente anche monovalente); [...] (b) di alcole con più gruppi alcolici (per es., le glicerine). ◆ [ALG] [FAF] Logica p.: logica nella quale si possono avere vari gradi di verità (o, che è lo stesso, di attendibilità), come quando si ammette, per es., che una proposizione che non sia ...
Leggi Tutto
incompleto
Dizionario delle Scienze Fisiche (1996)
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] matematica, una teoria formalizzata si dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono ...
Leggi Tutto
De Morgan, Augustus
Enciclopedia on line
Matematico inglese (Madura, India, 1806 - Londra 1871). Prof. nell'univ. di Londra dal 1828, pubblicò Elements of arithmetic (1830); The differential and integral calculus (1836-42) e molti altri trattati [...] . Si occupò anche di storia della scienza, ma soprattutto notevole è la sua opera nel campo della logica (tra gli altri scritti: Formal logic or the calculus of inference, 1847). In questo campo acquistò notorietà soprattutto per la disputa con W ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
valido
Dizionario delle Scienze Fisiche (1996)
valido
vàlido [agg. Der. del lat. validus "valido", che è da valere "stare bene, essere forte"] [ALG] [FAF] Formula logicamente v. o universalmente v. o anche semplic. v.: nella logica matematica, ogni [...] formula che risulti vera qualunque sia il signif. dei simb. che compaiono in essa ...
Leggi Tutto
Löwenheim, Leopold
Enciclopedia on line
Logico tedesco (n. 1878 - m. 1957); docente in un liceo di Berlino, fu sospeso (1934) dall'insegnamento per motivi razziali, e poi reintegrato (1946). Ha dato contributi fondamentali alla logica, a cui [...] si avvicinò studiando E. Schröder, ma da cui si allontanò nell'ultimo periodo della sua vita per interessarsi di antroposofia. In un articolo del 1915, Über Möglichkeiten im Relativkalkül, L. dimostra ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Quṣṭā ibn Lūqā
Enciclopedia on line
Scrittore arabo cristiano (Ba῾albek 820 - Armenia 912). Pregevole traduttore in arabo di opere greche di medicina, matematica, fisica, filosofia; compose opere originali in queste stesse materie, nonché [...] in astronomia e logica. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
regressione
Dizionario delle Scienze Fisiche (1996)
regressione
regressióne [Der. del lat. regressio -onis "atto ed effetto del regredire", dal part. pass. regressus di regredi "tornare indietro", comp. di re- "indietro" e gradi "camminare""] [FAF] Nella [...] logica, è il procedimento nel quale si procede non dall'universale al particolare, ma si "torna indietro" dal particolare all'universale, dall'effetto alla causa, dal condizionato alla condizione. ◆ [ASF] R. dei nodi: lo stesso che retrogradazione ...
Leggi Tutto
non standard
Dizionario delle Scienze Fisiche (1996)
non standard
nón stàndard [locuz. agg.] [LSF] Generic., di enti o condizioni non usuali, non rispondenti a certe norme, e simili. ◆ [ALG] [FAF] Analisi n.: disciplina nata nell'ambito della logica matematica, [...] negli anni '60 di questo secolo, per rendere coerente e rigoroso il metodo degli infinitesimi e infiniti dell'analisi settecentesca; si è in seguito rivelata uno strumento utile per risolvere problemi ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
nulla
Dizionario delle Scienze Fisiche (1996)
nulla
nulla [s.m. invar. Lat. nulla, pl.neutro del-l'agg. nullus "nessuno"] [FAF] La categoria mentale del non essere, dell'assenza di qualunque cosa o concetto. ◆ [ALG] [FAF] Nella logica matematica, [...] la classe cui non appartiene alcun elemento, detta anche classe vuota, insieme vuoto, insieme nullo, ecc ...
Leggi Tutto