Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] induttivo' di Bacone, i methods of experimental enquiry di John Stuart Mill (considerati per lo più come metodi per assimilato al linguaggio formalizzato elaborato da Whitehead e Russell nei Principia mathematica, corredato però di un'interpretazione ...
Leggi Tutto
PROBABILITÀ
Italo Scardovi
Giorgio Dall'Aglio
Misura della probabilità
di Italo Scardovi
La probabilità come numero reale
Nel parlar comune, 'probabilità' è parola che esprime incertezza, ora per [...] scientifica alla probabilità del fatto singolo. Ha scritto Bertrand Russell (The scientific outlook, London 1931): "Qualsiasi conoscenza riferimenti sporadici: tra i più noti il tentativo di John Arbuthnot, all'inizio del XVIII secolo, di dimostrare l ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] inconveniente non da poco per il matematico. Per porvi rimedio, Russell e Whitehead fanno ricorso a un assioma ad hoc, l'assioma scuola a Gottinga, sembra avviata al successo, e nel 1927 John von Neumann (1903-1957) riesce a dimostrare che una certa ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] supposto che il doppio di due fosse uguale a cinque. Russell replicò senza esitazione che "se il doppio di due è cinque theories. In Between quantum and cosmos: studies and essays in honor of John Archibald Wheeler, a c. di Zurek W., Van der Merwe A ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] la scoperta in una lettera a Frege nel 1902. Il paradosso di Russell è ottenuto semplicemente formando la classe
Così, per l'assioma di Gottinga ‒ specialmente a Bernays, Wilhelm Ackermann e John von Neumann ‒ il compito di portare a compimento ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] onde nei canali poco profondi. Qui si ha il fenomeno dei 'solitoni', osservato per la prima volta da John S. Russell nel 1834. Sono soluzioni che conservano indefinitamente la propria forma, e possono interagire con altre soluzioni dello stesso tipo ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] fu ripreso in tante questioni (anche da Bertrand Russell nel suo celebre paradosso sugli insiemi che contengono sé importanti differenze). Queste teorie furono ulteriormente riconsiderate: per es., John Conway (n. 1937) ha creato una sua teoria dei ...
Leggi Tutto
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 [...] (1981), la semantica situazionale di Jon Barwise e John Perry (1983), la semantica a possibilities di Lloyd Humberstone questo. Dato il ruolo decisivo avuto dall'antinomia di Russell nella crisi dei fondamenti, è stato naturale costruire anche ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] insoluto anche nella formalizzazione dei Principia matematica di Bertrand Russell e Alfred N. Whitehead, aveva trovato una risposta Academic Press, 1983.
Hopcroft, Ullman 1979: Hopcroft, John E. - Ullman, Jeffery D., Introduction to automata theory ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] così come si è sviluppata lungo l'asse Boole-Frege-Russell-Hilbert) e, in un primo momento, costituisce il semantica algebrica
Al fine di studiare possibili connessioni tra algebra e topologia, John C.C. McKinsey e Alfred Tarski (1902-1983), in The ...
Leggi Tutto