CATENA, Pietro
Dizionario Biografico degli Italiani (1979)
CATENA, Pietro
Giulio Cesare Giacobbe
Della sua vita si conoscono pochissimi elementi: nacque a Venezia nel 1501; nel 1547 fu nominato lettore di matematiche presso l'università di Padova (la stessa [...] ), 2, pp. 178-196; Id., La riflessione epistemologica rinascimentale: le opere di P. C. sui rapporti tra matematica e logica, con riproduzione dei testi originali, Pisa 1978; Ch. G. Jocher, Allgemeines Gelehrten-Lexicon, ad Indicem; Nouvelle Biogr ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
diadico
Dizionario delle Scienze Fisiche (1996)
diadico
diàdico [agg. (pl.m. -ci) Der. di diade "relativo a una coppia, binario"] [ALG] Numerazione d.: lo stesso che numerazione binaria. ◆ [ALG] Operazione d., o binaria: operazione mediante la quale [...] di elementi di un insieme si fa corrispondere un elemento del medesimo insieme. ◆ [ALG] [FAF] Predicato d.: nella logica matematica, qualsiasi predicato che si riferisca a due individui. ◆ [ALG] [FAF] Relazione d.: relazione tra due soli elementi ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Storia della Scienza (2001)
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] : la 11 presuppone la 6, la 12 la 4, la 13 la 7 e la 14 la 5. È chiara allora la struttura logica del libro. Con le prime dieci proposizioni si approntano delle tecniche, una ‘cassetta degli strumenti’, e subito dopo si propongono degli esempi di ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
ipotesi
Dizionario delle Scienze Fisiche (1996)
ipotesi
ipòtesi [Der. del lat. hypothesis, dal gr. hypóthesis che è da hypotìthemi "porre sotto"] [FAF] Congettura su una categoria di fatti sperimentali; spesso costituisce una prima formulazione della [...] lavoro) e, se tali ricerche confermeranno l'i. in questione, allo scopo di fondare su questa una teoria. Specific., nella logica, è una proposizione preliminare che si assume vera e dal verificarsi della quale si dimostra discendere la validità di un ...
Leggi Tutto
Newell, Allen
Enciclopedia on line
Matematico e informatico statunitense (San Francisco 1927 - Pittsburgh 1992). Prof. di computer science alla Carnegie-Mellon University (1967), ha dato importanti contributi in intelligenza artificiale, [...] umano con processi informatici e dimostrando così, mediante l'elaborazione di diversi teoremi del calcolo, predicati del primo ordine della logica matematica. È autore, tra l'altro, di Human problem solving (in collab. con H. A. Simon, 1972). ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scienze
Enciclopedia dei ragazzi (2006)
scienze
Paolo Casini
Le mappe del sapere
La conoscenza umana è un intreccio di teorie e di pratiche in continua crescita e anche il termine scienza ha avuto via via significati mutevoli. Per orientarsi [...] e i metodi che stavano alla sua base. Nel Dialogo sopra i due massimi sistemi del mondo egli contestò la logica fondata sui sillogismi e la distinzione metafisica tra moti circolari e rettilinei. Galilei insisté sul metodo opposto, che antepone le ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Bolzano, Bernhard
Enciclopedia on line
Carlo Cellucci
Teologo cattolico, logico e matematico (Praga 1781 - ivi 1848). Figlio di un emigrato italiano nativo di Nesso, nel 1805 fu nominato prof. di filosofia della religione all'univ. di Praga. [...] avente per oggetto le varie scienze. Alla base di ciò c'era l'idea che le proposizioni di cui si occupa la logica non hanno nulla a che fare con gli effettivi pensieri degli esseri umani né con le loro espressioni linguistiche. Mentre i pensieri ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Jung, Joachim
Enciclopedia on line
Naturalista, matematico e filosofo (Lubecca 1587 - Amburgo 1657); godette di altissima stima tra i contemporanei. In contrapposizione alle dottrine scolastiche, fu fautore del metodo sperimentale e matematico, [...] uno dei maggiori precursori di Linneo, che ne perfezionerà in seguito l'apparato terminologico. Notevole anche la sua attività nel campo della logica formale, che segna, grazie alla sua opera, alcuni dei maggiori progressi prima dell'avvento della ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Lowenheim Leopold
Dizionario delle Scienze Fisiche (1996)
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] che propone come fondamento universale per i sistemi di basi di dati. Una base di dati relazionale è simile a un modello per la logica del primo ordine: c'è un insieme di individui e un certo numero di tabelle che danno le relazioni tra gli individui ...
Leggi Tutto