Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] è spiegata da una diversa interpretazione del terzo valore. Per Kleene 1/2 significa indecidibile (si applica quindi alle proposizioni indecidibili dell'aritmetica), mentre 1/2 per Bochvar significa paradossale e si applica quindi alle proposizioni ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] scoperti, su questa linea, diversi risultati di indecidibilità: per es. Turing dimostrò che il ''problema della fermata'' è indecidibile, cioè non esiste una procedura di calcolo che decida, per ogni programma, se questo avrà termine. Von Neumann e ...
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
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
Percorsi introduttivi - La forma cinema nella sua evoluzione storica
Francesco Casetti
La forma cinema nella sua evoluzione storica
Una realtà al plurale
Il cinema va pensato al plurale. È infatti [...] . Al quale può reagire o limitandosi a prendere atto di quanto gli viene mostrato (del resto il mondo è così: indecidibile...), o avventurandosi lungo sentieri del tutto personali, al punto da costruirsi lui la sua storia, e di scegliere lui i ...
Leggi Tutto
Solidarietà
Rainer Zoll
Introduzione
La nozione di solidarietà ha assunto oggi una tale varietà di significati e di usi che si rende necessario operare una distinzione tra un'accezione ristretta e una [...] civiltà. La figura idealtipica dell'estraneo, afferma Zygmunt Bauman, esula dallo schema amico/nemico, e rappresenta una sorta di 'indecidibile', in quanto non si sa se classificarlo come amico o come nemico. Per questo motivo egli la definisce "il ...
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.