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 [...] risultati si fa largo uso della condizione di compattezza di Palais-Smale enunciata tre anni prima.
Teoremi di punto fisso. M.F. Atiyah e calcolo a meno di catene finite di semplificazioni è indecidibile. Scott trova un modello del λ-calcolo che ...
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 [...] il tempo siano infiniti. Anche qui al-Kindī prende le mosse enunciando quattro premesse: (1) da tutto ciò da cui si toglie però essere identità. Introdusse inoltre il concetto di problema indecidibile, quello di cui non si può "dimostrare né l ...
Leggi Tutto
risolubile
risolùbile (ant. resolùbile) agg. [der. di risolvere; cfr. lat. tardo resolubĭlis «che si può nuovamente sciogliere»]. – Che si può risolvere: dubbio, problema r.; sciarada facilmente risolubile. In partic.: 1. In diritto privato,...