Logiche non standard

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] materiale, che Bertrand Russell e Alfred N. Whitehead simbolizzavano come A⊃B, equivale alla disgiunzione ∉A B, e quindi è vero quando A è falso o B è vero. Il senso implicativo di A⊃B in realtà emerge solo quando A⊃B è un teorema della logica di ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: GEORG WILHELM FRIEDRICH HEGEL – PRINCIPIO DEL TERZO ESCLUSO – QUANTIFICATORE UNIVERSALE – GOTTFRIED WILHELM LEIBNIZ – RELAZIONE DI EQUIVALENZA

Computazione, teoria della

Enciclopedia della Scienza e della Tecnica (2007)

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 [...] dei Principia matematica di Bertrand Russell e Alfred N. Whitehead, aveva trovato una risposta negativa nel 1931 stato s∈S, legge un carattere c∈Π dal nastro ed esegue una delle azioni seguenti: a) se ∂(s,c)=(t,d,m), con t∈S, d∈Π e m∈{←,→}, la ... Leggi Tutto

CATEGORIA: ANALISI MATEMATICA

TAGS: CALCOLO DEI PREDICATI DEL PRIMO ORDINE – LINGUAGGI DI PROGRAMMAZIONE – RICORSIVAMENTE ENUMERABILE – CORRISPONDENZA BIUNIVOCA – TEOREMA DI INCOMPLETEZZA

Peano, Giuseppe

Il Contributo italiano alla storia del Pensiero: Scienze (2013)

Giuseppe Peano Clara Silvia Roero Negli ultimi decenni dell’Ottocento e nei primi del Novecento le ricerche matematiche, logiche e linguistiche di Giuseppe Peano ebbero una straordinaria eco internazionale. [...] ai sistemi di tali equazioni, mediante l’utilizzo dei complessi a n unità. Tuttavia il fatto che egli si fosse servito del Jules-Henri Poincaré, Bertrand Russell, Alfred North Whitehead, Couturat, Émile Borel, Maximilien Winter, Giovanni Vacca ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: ACCADEMIA DELLE SCIENZE DI TORINO – GOTTFRIED WILHELM VON LEIBNIZ – FUNZIONE DI PIÙ VARIABILI – GIUSEPPE LOMBARDO RADICE – GEOMETRIA DIFFERENZIALE

algebra di Boole

Enciclopedia della Scienza e della Tecnica (2008)

algebra di Boole Silvio Bozzi Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] per opera di Alfred N. Whitehead ed Edward V. Huntington nei primi anni del Novecento e, nella doppia veste di algebra delle e un solo complemento diremo che è complementato e potremo definire un’operazione ′: A→A per cui x ∨ x ′ = 1 x ∧ x ′ = 0 ... Leggi Tutto

CATEGORIA: TEMI GENERALI – LOGICA

TAGS: TEORIA DELLA MISURA – LOGICA MATEMATICA – GARRETT BIRKHOFF – INSIEME ORDINATO – SPAZIO COMPATTO

INDIA

Enciclopedia Italiana (1933)

INDIA (A. T., 93-94) Umberto TOSCHI Fabrizio CORTESI Mario SALFI Umberto TOSCHI Egon von EICKSTEDT Renato BIASUTTI Ambrogio BALLINI Alberto PINCHERLE Umberto TOSCHI Umberto TOSCHI Gennaro MONDAINI Giuseppe [...] 535; Whitehead, Indian Problems, Londra 1924; A. Zimmern, The Third British Empire, Oxford 1927; A. (ert); b) una sola vocale, oltre le sonanti (i u), breve e lunga: ă ā 〈 indoeur. *ā̆ ñ ō??? e due vocali lunghe (dittonghi) ē ō 〈 indoeur. *ai ei oi, ... Leggi Tutto

CATEGORIA: DIRITTO CIVILE

SOCIOLOGIA

Enciclopedia Italiana - III Appendice (1961)

SOCIOLOGIA (XXXI, p. 1019) Franco FERRAROTTI La sociolocia contemporanea. - Rispetto alla s. delle origini, essenzialmente caratterizzata dalle opere enciclopediche di Auguste Comte e di Herbert Spencer, [...] civilization, Cambridge 1946; F. Roethlisberger, W. J. Dickson, Management and the worker, Cambridge 1939; T. N. Whitehead, Leadership in a free society, Cambridge 1936; B. M. Selekman, Labor relations and human relations, New York 1947). Per uno ... Leggi Tutto

TAGS: SEPARAZIONE PERSONALE DEI CONIUGI – MEZZI DI COMUNICAZIONE DI MASSA – SECONDA GUERRA MONDIALE – ANTROPOLOGIA CULTURALE – PRIMA GUERRA MONDIALE

ROMA

Enciclopedia dell' Arte Antica (1965)

ROMA (Rüma; ῾Ρώμη) Red. F. Castagnoli,L. Cozza G. Lugli L. Franchi R. A. Staccioli N. Neuerburg A. M. Sagripanti J. B. Ward Perkins A. M. Sagripanti A. Terenzio F. Magi F. Magi J. Ruysschaert F. [...] ) VIII. - T e r m e u r b a n e e N i n f e i. - 1. TERME: a) di Agrippa (thermae Agrippae o Agrippianae). Furono le prime fra di schemi ricercati a R. nel sec. IV. Bibl.: Ph. B. Whitehead, in Amer. Journ. Arch., 1928, p. 405 ss.; A. Junyent, in ... Leggi Tutto

La logica e i fondamenti della matematica tra Ottocento e Novecento

Il Contributo italiano alla storia del Pensiero: Scienze (2013)

La logica e i fondamenti della matematica tra Ottocento e Novecento Mario Piazza I fondamenti della geometria Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] : 1. 1 ∈ N 2. a ∈ N . ⊃ . . = a. 3. a, b ∈ N . ⊃ : . = b . = . . = a. 4. a, b, . ∈ N . ⊃ ∴ . = b . . = c : ⊃ . . = c. 5. a = . . . ∈ . : ⊃ . . ∈ N. 6. a ∈ N . ⊃ . a + 1 ∈ N. 7. a, b ∈ N . ⊃ : . = b . = . . + 1 = b + 1. 8. a ∈ N . ⊃ . . + 1 – = 1 ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – STORIA DELLA MATEMATICA

TAXILA

Enciclopedia dell' Arte Antica (1966)

Vedi TAXILA dell'anno: 1966 - 1973 TAXILA M. Taddei Città del Pangiab occidentale (Pakistan), ben nota nell'antichità sia per la grande prosperità commerciale che per la sua posizione di preminenza [...] le pendici della catena collinosa di Hathial a S ed il minore rilievo noto come Kachcha Kot a N e N-O, dal quale dista poco più di Londra 1886; V. A. Smith, Catalogue of the Coins in the Indian Museum, Calcutta 1906; R. B. Whitehead, Catalogue of the ... Leggi Tutto

ERCOLANI, Carlo

Dizionario Biografico degli Italiani (1993)

ERCOLANI (Hercolani), Carlo Guido Fagioli Vercellone Nacque a Macerata il 7 marzo 1756, terzogenito (il fratello Giuseppe fu violinista e compositore) di Francesco e di Teresa Mancini, entrambi patrizi [...] a J. Milton, a J. Gay, a E. Fenton, a T. Gray, a J. Longhorne, a G. Byron, a J. Thompson (vol. I); da J. Armstrong a M. Prior (vol. II); da J. Dyer a P. Whitehead (vol. III), a W. Sommerville (vol. IV); da S. Garth a R. Blair, a S. Genius, ad A ... Leggi Tutto

CATEGORIA: BIOGRAFIE