LOGICA MATEMATICA
Enciclopedia Italiana - IV Appendice (1979)
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] di passi se una qualsiasi fbf del suo linguaggio è o no un teorema della teoria. Tenuto conto del teorema di validità si vede subito che il metodo delle tavole di verità fornisce un facile procedimento di decisione per quel che riguarda la l. degli ...
Leggi Tutto
tavola
Enciclopedia on line
tavola matematica T. (o tabella) di composizione (o di moltiplicazione, o di Cayley) di un gruppo Specchio, o quadro, che contiene i prodotti degli elementi del gruppo a due a due. Se il gruppo è finito, [...] verità di una formula F del calcolo delle proposizioni è uno schema che illustra i valori di verità che quella formula assume in corrispondenza dei valori di verità delle scaricati per effetto del moto della tavola. Costruttivamente diversa è la t ...
Leggi Tutto
tavola
Dizionario delle Scienze Fisiche (1996)
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] logica binaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t. di verità delle principali operazioni logiche si rinvia alle singole voci in questo volume. ◆ [CHF] T. periodica degli elementi: quella che riporta ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
verita
Dizionario delle Scienze Fisiche (1996)
verita
verità [Der. del lat. veritas -atis, da verus "vero"] Tavola di v.: (a) [FTC] Modello, costituito dall'elenco di tutti i possibili stati di un sistema, per studiare l'affidabilità di esso: v. [...] logica proposizionale, quadro dei valori di v. (v. oltre) assumibili da una funzione in corrispondenza ai valori di v. delle proposizioni semplici che compaiono nella funzione: v. logica: III 483 d; analogamente per una funzione booleana: v. circuiti ...
Leggi Tutto
Leonardo da Vinci
Enciclopedia on line
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] e ai fratelli Ambrogio ed Evangelista de Predis la tavola della Vergine delle Rocce. Secondo uno schema piramidale, la Vergine L. scrittore non possediamo nessuna opera veramente compiuta. Il Trattato della pittura è compilazione postuma (Bibl. Vat ...
Leggi Tutto
gioco
Enciclopedia on line
Esercizio singolo o collettivo a cui si dedicano bambini o adulti, per passatempo, svago, ricreazione, o con lo scopo di sviluppare l’ingegno o le forze fisiche. Anche, pratica consistente in una competizione [...] imbarazzo o disagio nei partecipanti (g. della verità, passatella, g. della torre) o il metterne a repentaglio creazione dei videogiochi abbia ristretto la diffusione dei g. di tavoliere tradizionali, ne sopravvivono alcuni, più o meno vecchi, come ...
Leggi Tutto
funzione
Enciclopedia on line
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] ); si scrive f:X→Y; X è l’insieme di definizione, o dominio, della f.; l’insieme Y*⊆Y, descritto da y al variare di x in X si può rappresentare tale f. con il seguente schema (o tavola di verità):
dove, nella colonna di destra, è segnato il valore ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] dell'indefinibilità della verità stabilisce, allora, che una tale definizione di verità non esiste. Il teorema dell'indefinibilità della verità è dimostrabile in T. Ma ciò contraddice (1).
Tavola IIa e IIb
L'incompletezza e la pratica matematica
Le ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
Storia della Scienza (2001)
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] II contiene le istruzioni per l'uso delle tavole dell'Almagesto e delle Tavole astronomiche manuali, con alcuni esempi riferiti sentiero della verità. Così, i principî della scienza e della dottrina della sapienza provenivano dalla rivelazione dello ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Storia della Scienza (2001)
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] sia costituito dalla determinazione di un sistema di loci o tavola dei principî comuni (capita communia), vale a dire di uno umano di liberarsi dalle tenebre dell'ignoranza, per risalire dalle ombre alle vere immagini della verità. Ed era, per lui, ...
Leggi Tutto