invarianza
Enciclopedia on line
Fisica
La circostanza per la quale una data relazione tra grandezze fisiche rimane invariata per particolari trasformazioni di variabili; il termine è anche usato come sinonimo di conservazione.
Matematica
Principio [...] di i. del numero Enunciato da H. Schubert (1876), recita che «Il numero delle soluzioni di un problema di geometria algebrica, al variare dei dati con continuità, se è finito si mantiene costante (purché ogni soluzione sia contata con la dovuta ...
Leggi Tutto
Zorn, Max
Enciclopedia on line
Matematico statunitense di origine tedesca (n. 1906 - m. Bloomington, Indiana, 1993). Prof. all'Indiana University (dal 1946), ha dato importanti contributi all'algebra, nella teoria degli insiemi e alla [...] topologia; a lui si deve un enunciato di logica matematica (lemma di Z.) equivalente all'assioma delle scelte. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
semantica
Enciclopedia on line
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] come sia possibile costruire per qualsiasi linguaggio formalizzato L una ‘teoria della verità per L’ dai cui assiomi è deducibile per ciascun enunciato E di L un’equivalenza metalinguistica ‘E è vero-in-L se, e solo se, T’, dove al posto di ‘E ...
Leggi Tutto
Richard, Jules
Enciclopedia on line
Matematico francese (n. 1862 - m. 1956), prof. al liceo di Digione, autore di varie ricerche di matematica, fisica matematica e logica matematica; tra le sue opere principali: Sur la philosophie des mathématiques [...] (1903). È specialmente noto per aver enunciato (1905) un paradosso in cui compaiono particolari numeri naturali, detti numeri di R. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
parallelo
Enciclopedia on line
In una qualunque superficie generata dalla rotazione di una curva intorno a un asse fisso e a essa rigidamente collegato (superficie di rotazione), il cerchio descritto da un punto della curva generatrice, [...] contenuto nell’altro, hanno in comune esclusivamente punti impropri.
Postulato delle p. È detto anche 5° postulato di Euclide, perché enunciato come quinto nei suoi Elementi: per un punto esterno a una retta è possibile condurre una e una sola retta ...
Leggi Tutto
CATEGORIA:
FENOMENI
–
FISICA MATEMATICA
–
OTTICA
–
ESPLORAZIONE CARTOGRAFIA E TOPOGRAFIA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
ELABORATORI
–
ELETTROTECNICA
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] α, che caratterizza il calcolo T, vale in ogni punto w di un modello ⟨W,R> se e solo se R è riflessiva. L'enunciato □α→□□α, che caratterizza S4, vale in ogni punto di un modello se e solo se R è transitiva. La corrispondenza aiuta a comprendere il ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
problema
Dizionario delle Scienze Fisiche (1996)
problema
problèma [Der. del lat. problema -atis, dal gr. próblema -atos, a sua volta da probállo "proporre"] [ALG] [ANM] Nella matematica e nelle sue applicazioni, quesito che richiede la determinazione [...] di uno o più enti (numeri, funzioni, figure geometriche, ecc.) che soddisfino alle condizioni specificate nell'enunciato del p.; nell'ambito strettamente matematico il p. è l'equivalente logico di equazione (e termini connessi), in quanto esso si ...
Leggi Tutto
logico
Dizionario delle Scienze Fisiche (1996)
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ◆ [ALG] [FAF] Connettivi l.: espressioni che si premettono a un enunciato (la negazione non) o si interpongono fra due enunciati (la congiunzione e, la disgiunzione o, il condizionale se...allora e il bicondizionale se e solo se). ◆ [ELT] Dispositivo ...
Leggi Tutto
CATEGORIA:
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
distanza
Dizionario delle Scienze Fisiche (1996)
distanza
distanza [Der. del lat. distantia, dal part. pres. distans -antis di distare "stare lontano", comp. di dis- e stare] [ALG] La lunghezza del tratto di linea retta che congiunge due punti, o, [...] più generic., la lunghezza del percorso fra due luoghi, due oggetti. Il concetto di d., così enunciato, presuppone che l'ordinario spazio tridimensionale sia dotato di una struttura geometrica che permette di definire matematicamente un segmento di ...
Leggi Tutto
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOFISICA
–
METROLOGIA
–
OTTICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ELETTRONICA
Wiles, Andrew John
Enciclopedia on line
Matematico britannico (n. Cambridge, Inghilterra, 1953), prof. alla Princeton University (1982); ha dato fondamentali contributi alla teoria dei numeri provando con metodi nuovi, basati sulla teoria delle [...] (e in partic. la congettura di Taniyama), che gli hanno permesso nel 1995 la prima dimostrazione del grande teorema di Fermat. Enunciato da Fermat in margine a un'edizione di Diofanto, tale teorema aveva resistito, per quasi tre secoli, a numerosi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE