La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] del campo razionale. La matematica americana Julia Robinson dimostra che la teoria del primo ordine del campo razionale è indecidibile; non esiste, cioè, un algoritmo che, data una formula della logica del primo ordine nel linguaggio della teoria dei ...
Leggi Tutto
Il Rinascimento. L'astronomia
J.V. Field
L'astronomia
Gli storici dell'arte e delle discipline umanistiche si sentirebbero forse a proprio agio definendo 'Rinascimento' il periodo che va dal 1400 al [...] diurna. Egli si appellava alla fede nelle Scritture per appianare tale questione, ma evidentemente era pronto a considerarla indecidibile nei termini della filosofia naturale.
Non è chiaro se si debba considerare ciò come un'audace speculazione, o ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] Church aveva dimostrato che l'uguaglianza di termini del λ-calcolo a meno di catene finite di semplificazioni è indecidibile. Scott trova un modello del λ-calcolo che consiste in un insieme ordinato X isomorfo all'insieme delle funzioni crescenti ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] fra le identità e i problemi che hanno infinite soluzioni senza però essere identità. Introdusse inoltre il concetto di problema indecidibile, quello di cui non si può "dimostrare né l'esistenza, né la negazione" (Rashed 1984b, p. 52). L'autore ...
Leggi Tutto
indecidibile
indecidìbile agg. [der. di decidere, col pref. in-2]. – Propr., che non può essere deciso. In logica, è detto di ogni asserzione, proposizione, formula per la quale si dimostra che, in un dato sistema formalizzato, né essa né...
indecidibilita
indecidibilità s. f. [der. di indecidibile]. – L’essere indecidibile. In logica, condizione nella quale è impossibile decidere se una proposizione è vera o falsa.