L'Ottocento: matematica. Teoria dei numeri
Catherine Goldstein
Teoria dei numeri
Le tappe più significative dello sviluppo di un settore della scienza o dell'arte si accordano raramente con la suddivisione [...] un numero primo p è rappresentato da una forma quadratica binaria di discriminante D, allora p è il coefficiente dominante di trad. ingl.: Mathematics of the 19th century. Mathematical logic, algebra, number theory, probability theory, edited by ...
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, [...] eseguite per misurarle. C'è infine la tradizione del logicismo, che cerca di codificare tutto il nostro sapere in un cose formando un numero Ω le cui cifre sono una sequenza di numeri binari 0 e 1 scelti nel seguente modo: si prenda ciascun valore di ...
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 [...] punto di vista, possono essere considerate di natura insiemistica o logica. Con l'opera di Cantor, Dedekind e Giuseppe Peano X0,…,Xn,…⟩ di sottoinsiemi di N, ed è data da un'unica relazione binaria R tale che x∈Xn⇔R(x,n). Allora, l'unione degli ...
Leggi Tutto
Numeri, teoria dei
Larry Joel Goldstein
La teoria dei numeri è il settore della matematica dedicato allo studio delle proprietà degli interi, cioè dell'insieme ℤ costituito dai numeri
…, −4, −3, −2, [...] polinomio quadratico omogeneo ax2+bxy+cy2 è chiamato forma quadratica binaria. Il lavoro di Gauss sull'argomento affronta due problemi principali Hilbert si fonda sostanzialmente su metodi di logica matematica.
La teoria delle funzioni automorfe
La ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post 8] t=abbabaab…
definita come segue. Sia β(n) il numero di 1 nello sviluppo binario di n; allora tn=a, se β(n) è pari e tn=b se è ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] può essere spiegata dai condizionamenti cui è soggetta piuttosto che dalle logiche di scelta dell'attore, il presupposto è che "le relazioni di tipo teorico. Il risultato dell'analisi consiste in una matrice binaria n⟨P8>n in cui n è il numero dei ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] E quanto più il modello (il "concepito") coglie la logica interna di un sistema reale (l'"osservato") attraverso le prevedibile con una probabilità superiore a 1/10; se è binaria, con una probabilità superiore a 1/2).
Ulteriormente perfezionato ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] matrice normale (contabile). Il primo esempio di sistema considerato è quello della logica proposizionale classica, caratterizzato dalla matrice binaria. Al riguardo si presentano organicamente nel nuovo quadro concettuale le principali conoscenze ...
Leggi Tutto
PEANO, Giuseppe
Clara Silvia Roero
PEANO, Giuseppe. – Nacque a Spinetta, nei pressi di Cuneo, il 27 agosto 1858, secondogenito di Bartolomeo e di Rosa Cavallo, proprietari terrieri.
Frequentò le scuole [...] anche una macchina per stenografare, basata sull’aritmetica binaria, illustrata in una nota all’Accademia torinese delle 1994, n. 48, pp. 201-342; E.A. Zaitsev, An interpretation of P.’s logic, ibid., n. 46, 4, pp. 367-383; C.S. Roero, I matematici ...
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 [...] La novità è costituita dalla presenza di una relazione binaria R tra gli oggetti di W, chiamata ' teoria della corrispondenza e ha rappresentato lo sviluppo più interessante della logica modale moderna. Ne vediamo alcuni esempi. L'enunciato □α→α ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....