Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] di parola sturmiana è la parola di Fibonacci:
[11] f = 01001010…
che è il puntofisso della sostituzione 0→01, 1→0. Vi sono tre fattori didi una retta di pendenza α, che abbia punti con coordinate intere (fig. 4). Per un teoremadi Morse ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremidi incompletezza di Godel
Carlo Cellucci
I teoremidi incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] diciamo che T è ω-incoerente se non è ω-coerente.
La principale applicazione del teorema del puntofisso è costituita dal seguente risultato (Gödel 1931b).
Primo teoremadi incompletezza: esiste un enunciato φ tale che:
1) se T è coerente allora T⊬φ ...
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 [...] (1884-1972) e Levinson dimostrano l'esistenza di una soluzione T-periodica di classi di equazioni di Liénard forzate utilizzando il teorema del puntofissodi Brouwer applicato all'operatore di Poincaré corrispondente. L'anno dopo Levinson definisce ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Lo sviluppo della matematica di Apollonio: Desargues, Pascal¿
Paolo Freguglia
Lo sviluppo della matematica di Apollonio: Desargues, Pascal e le [...] movimento una circonferenza; mentre se il puntofisso è all'infinito, ciascuno dei punti della retta genera ancora una retta puntodi vista teorico.
Non si può infine non rammentare che il teoremadi Desargues sui triangoli omologici e quello di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi dipunti
Roger Cooke
Brian Griffith
La topologia degli insiemi dipunti
La topologia generale o topologia degli insiemi [...] tra un punto variabile x e un puntofisso y è una funzione continua di x. Si puntodi accumulazione dipunti eccezionali (teoremadi Bolzano-Weierstrass), ma Cantor osservò che il teorema sussisteva ancora nel caso di un numero finito dipuntidi ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] Neumann e Oskar Morgestern. Nel 1951 John F. Nash, usando il teorema del puntofissodi Kakutani, dimostra il teorema relativo all’equilibrio non cooperativo di un gioco a somma variabile che si può considerare come la generalizzazione del minimax ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] definisce la minima di tali funzioni parziali (che è ricorsiva, in quanto calcolabile mediante un computer). In precedenza, nel 1938 Kleene aveva stabilito il cosiddetto 'teorema del puntofisso'. Secondo tale teorema ogni equazione che definisce ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Evangelista Torricelli
Carla Rita Palmerino
Tra i più originali e dotati discepoli di Galileo Galilei, di cui fu successore nella carica di matematico del granduca di Toscana, Evangelista Torricelli [...] della cicloide, la curva descritta da un puntofissodi un cerchio che rotoli, senza strisciare, sulla di questi indivisibili nell’enunciare il teorema universale che permette di determinare il centro di gravità tanto delle figure piane quanto di ...
Leggi Tutto
Evangelista Torricelli
Nell'antiporta delle Lezioni accademiche, pubblicate postume nel 1715, troviamo un ritratto dell'autore accompagnato dalla didascalia "En virescit Galilaeus alter", anagramma incompleto [...] offre ben 21 dimostrazioni del teorema della quadratura della parabola, dieci basate sul metodo archimedeo di esaustione, ovvero della doppia della cicloide, la curva descritta da un puntofissodi un cerchio che rotoli sulla propria tangente. ...
Leggi Tutto
BIANCHI, Luigi
Enzo Pozzato
Figlio del giurista Saverio, nacque a Parma il 18 genn. 1856. Entrato alla Scuola normale superiore di Pisa il 14 nov. 1873, si laureò in matematica il 30 nov. 1877. Fu abilitato [...] Sulla interpretazione geometrica del teoremadi Moutard,ibid., pp. 565-573; Sulle superfici i cui piani principali hanno costante il rapporto delle distanze da un puntofisso,ibid., 2, pp. 77-84; Sopra una classe di superfici collegate alle superfici ...
Leggi Tutto
rete
réte s. f. [lat. rēte]. – 1. Intreccio di fili di materiale vario, incrociati e annodati tra loro regolarmente in modo che restino degli spazî liberi, detti maglie: il materiale (canapa, sparto, cocco e altre fibre vegetali; fibre artificiali;...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...