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
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] Tenenbaum (1971) dimostrarono che, sulla base degli assiomi della matematica odierna, questo problema è assolutamente indecidibile.
Le consuete definizioni di estremo superiore ed estremo inferiore sono applicabili in un insieme parzialmente ordinato ...
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.