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 [...] il principio del terzo escluso. Nella prospettiva intuizionista di Luitzen E.J. Brouwer la verità matematica di una proposizione A coincide con l'esistenza di una dimostrazione di A. Stante l'esistenza di casi in cui non si dà né una dimostrazione ...
Leggi Tutto
Equazioni differenziali: problemi non lineari
Jean Mawhin
La modellizzazione di molti problemi fisici porta alla ricerca di soluzioni di equazioni differenziali di secondo ordine, ordinarie o alle derivate [...] da Luitzen E. J. Brouwer: ogni mappa continua h: P→P ha almeno un punto fisso.
Come è facilmente , c>0,
[46] u″+cu′+au+bu3=h(x), u(0)=u(T), u′(0)=u′(T)
e introduciamo l'omotopia (con λ∈[0,1])
[47] u″+cu′+au+λbu3=λh(x), u(0)=u(T), u′(0)=u ...
Leggi Tutto
Convessità
Arrigo Cellina
La convessità è un concetto della matematica elementare; le parole concavo e convesso fanno parte del linguaggio quotidiano. Eppure questo semplice concetto, unito ad altre [...] f se f(P)=P. Un teorema di punto fisso dà delle condizioni che assicurino l'esistenza di (almeno) un punto fisso. Nel 1912 Lutzen E. J. Brouwer pubblicava nella rivista "Mathematische Annalen" il seguente teorema di punto fisso, che riguarda gli n ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Renato Caccioppoli
Luca Dell'Aglio
Figura chiave nello sviluppo del pensiero matematico in Italia durante la prima parte del Novecento, le sue ricerche spaziano nei vari rami dell’analisi matematica, [...] . Da un punto di vista storico, tale questione trova origine nel celebre teorema ottenuto da Luitzen E.J. Brouwer (1881-1966) nel 1912 e riguardante l’esistenza di un punto unito di una funzione continua definita da un sottoinsieme convesso, chiuso ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] Babbage, J. Herschel, G. Peacock, T. Robinson, E. Ryan e altri, che si proponeva di diffondere l’uso è stata fondata dall’olandese L.E. Brouwer a partire dal primo decennio del Novecento. Brouwer si oppone alla teoria logicista che considera la l ...
Leggi Tutto
Il Rinascimento. Verso una nuova matematica
Enrico Giusti
Paolo Freguglia
Pier Daniele Napolitani
Pierre Souffrin
Verso una nuova matematica
Introduzione
di Enrico Giusti
A chi si volga alla matematica [...] di Viète ‒ come A. Vasset (1630) eJ.L. Vaulézard (1630) ‒, sviluppò esplicitamente tramite costruzioni geometriche introduction et des notes par Paul Ver Eecke, Bruges, Desclée - De Brouwer et cie., 1926.
Wardy 1990: Wardy, Robert, The chain of ...
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 [...] è compatta e I denota l'applicazione identica. Nel 1934 Leray e Schauder estesero il grado delle applicazioni di Brouwer alla classe delle applicazioni della forma (I-C) e , e successivamente migliorati da J. Moser e Guido Stampacchia. Il punto è che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] negli anni Venti del Novecento da Alfred J. Lotka (1880-1949) e da Volterra. Nel 1928 Andronov menziona i è limitata, condizione che indebolirà l'anno seguente nella:
Nel 1934, Jean Leray (1906-1998) e Schauder estendono il grado di Brouwer ...
Leggi Tutto
THOM, René
Carlo Cattani
Matematico francese, nato a Montbéliard (Doubs) il 2 settembre 1923. Compiuti gli studi all'Ecole Normale Supérieure (1943-46), è stato ricercatore al Centre national des recherches [...] è stato tra l'altro insignito della laurea honoris causa dalle università di Warwick, Tubinga e , inoltre, la medaglia Brouwer (1970) e il Grand prix scientifique de imaginaire, in collaborazione con C. Lejeune eJ.-P. Duport (1978); Paraboles et ...
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 [...] La distinction de l'essence et de l'existence d'après Ibn Sina (Avicenne), Paris, Desclée de Brouwer, 1957.
Hasnawi et scientifiques d'al-Kindī, Leiden-New York, E.J. Brill, 1997-1998, 4 v.; v. I: L'optique et la catoptrique, par Roshdi Rashed, 1997. ...
Leggi Tutto