Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] 'oggi non sono noti esempi di nodi di cui il polinomio di Jones non riconosca l'annodamento. Ciò suggerisce la seguente congettura.
Congettura. - Se un singolo anello di un nodo K è effettivamente annodato, allora VK (t) non è uguale a 1.
In altre ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] un'asserzione della forma (Ex)F(x) dove F è una proprietà finitaria dei numeri naturali (per es., la negazione della congettura di Goldbach ha tale forma) con i metodi transfiniti della matematica classica, e che d'altra parte si possa stabilire ...
Leggi Tutto
Matematica
In geometria, figura piana costituita da un quadrilatero avente i 4 lati, e così pure i 4 angoli, fra loro uguali (fig. 1).Il q. è un parallelogramma (i lati opposti sono paralleli); è, insieme, [...] . Non per ogni valore di n esistono però coppie di q. latini ortogonali; Eulero congetturò, nel 1782, che tali coppie non esistessero per n = 6, 10, 14, 18, …, ma la congettura è stata dimostrata esatta (Tarry, 1900) per il solo valore n = 6 e ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] di Turing ha permesso di dimostrare che alcuni problemi non ammettono nessuna soluzione generale calcolabile. La tesi o congettura di Church-Turing afferma infatti che, se esiste un algoritmo per eseguire un compito che manipola simboli, allora ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] che iniziano negli anni Sessanta sono quelle nate con i lavori di James B. Ax e Simon B. Kochen del 1965 sulla congettura di Artin, che apriranno la strada allo studio della teoria dei modelli dei campi valutati. Accanto a queste ricerche, dirette ...
Leggi Tutto
RIVLIN, Ronald Samuel
Carlo Cattani
Fisico-matematico statunitense di origine inglese, nato a Londra il 6 maggio 1915, naturalizzato cittadino statunitense nel 1955. Compiuti gli studi universitari [...] di R. è stato tuttavia per le equazioni costitutive, che sono alla base della meccanica dei continui. In questo campo, sviluppando una congettura formulata da A. Cauchy, e ripresa successivamente da A. Voigt, R. è stato in grado di giungere a una ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] cui il diagramma di biforcazione è autosimilare e Feigenbaum, notando come questo fenomeno sia comune anche ad altre mappe, ne congetturò l'universalità, che sarà dimostrata ‒ sotto certe ipotesi ‒ da Oscar S. Lanford III nel 1982.
I frattali. Viene ...
Leggi Tutto
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] cardinali intermedi tra ℵ0 e ℵ1, e più in generale tra ℵn e ℵn+1. Non riuscendo a risolverlo formulò una congettura (ipotesi cantoriana del continuo) in base alla quale si suppone che non esistano di tali cardinalità intermedie. Solo nel 1938 K ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] di un primo.Questo problema è legato a quello dell'esistenza di piani proiettivi di ordine n (v.combinatoria, analisi, App. IV).
La congettura che un piano proiettivo di ordine n esista solo nel caso di n potenza di un primo rimane a tutt'oggi un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola matematica di Mosca
Sergej Sergeevic Demidov
La scuola matematica di Mosca
La matematica a San Pietroburgo e a Mosca
Nella seconda [...] risultati nella teoria dei numeri trascendenti e nella teoria additiva dei numeri. Nel 1930 Šnirel′man dimostrò una forma debole della congettura di Goldbach, provando che ogni numero pari è somma di al più di S (=20) numeri primi, mentre il ciclo di ...
Leggi Tutto
congettura
(ant. conghiettura e coniettura) s. f. [dal lat. coniectura, der. di coniectus, part. pass. di conicĕre «gettare; congetturare», comp. di con- e iacĕre «gettare»]. – 1. Supposizione, giudizio fondato su indizî o apparenze probabili:...
congetturabile
congetturàbile agg. [der. di congetturare]. – Che si può congetturare, che si può ricavare per congettura: situazione prodotta da cause facilmente congetturabili.