sintassi

Enciclopedia della Scienza e della Tecnica (2008)

sintassi Silvio Bozzi Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] e regole di trasformazione. Assiomi e regole di trasformazione definiscono un calcolo che attraverso successive applicazioni fornisce i teoremi del sistema. Nella sua forma più netta quest’idea è codificata dalla nozione di sistema di produzione ... Leggi Tutto

CATEGORIA: LOGICA

matematica

Enciclopedia on line

Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la m. pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla [...] in Grecia. La scuola pitagorica (5° sec. a.C.) aveva sviluppato l’aritmetica, basandosi sui numeri figurati, e i primi teoremi della geometria elementare (similitudine, calcolo di aree e volumi ecc.). Il 4° sec. a.C. è caratterizzato da una prima ... Leggi Tutto

CATEGORIA: TEMI GENERALI – MATEMATICA APPLICATA – STORIA DELLA MATEMATICA – EPISTEMOLOGIA – METAFISICA

TAGS: PHILOSOPHIAE NATURALIS PRINCIPIA MATHEMATICA – SISTEMA DI NUMERAZIONE POSIZIONALE – SISTEMA DI NUMERAZIONE DECIMALE – TEORIA DELLE RAPPRESENTAZIONI – PROBLEMA DEI QUATTRO COLORI

notazione

Dizionario delle Scienze Fisiche (1996)

notazione notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] tutte le proposizioni e le concatenazioni logiche, in modo da escludere quasi, negli enunciati e nelle dimostrazioni dei teoremi, la parte "scritta". Tale tendenza è stata ripresa poi, seppure con una certa moderazione, dal gruppo del Bourbaki ... Leggi Tutto

CATEGORIA: FISICA DEI SOLIDI – FISICA MATEMATICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – ANALISI MATEMATICA – EPISTEMOLOGIA – METAFISICA

Descartes, René

Enciclopedia on line

Matematico e filosofo (La Haye-en-Touraine 31 marzo 1596 - Stoccolma 11 febbraio 1650). Nel collegio dei gesuiti di La Flèche, seguì per nove anni (1605-1614) il consueto curriculum delle classi di grammatica, [...] precise regole...". Saggiò la certezza delle longues chaînes de raisons di cui fanno uso i geometri nelle dimostrazioni dei teoremi, e si convinse di poterne estrapolare un metodo universale, applicabile a tutti i campi del sapere. L'esecuzione del ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: MEDITATIONES DE PRIMA PHILOSOPHIA – RAGIONAMENTO DEDUTTIVO – EQUAZIONE ALGEBRICA – GEOMETRIA ANALITICA – SISTEMA COPERNICANO

Relativita

Enciclopedia del Novecento (1982)

RELATIVITÀ Christian Moller Tullio Regge Eugenio Garin Relatività di Christian Møller sommario: 1. Introduzione e panorama storico: a) il principio di relatività speciale. Sistemi inerziali; b) relatività [...] della luce nel vuoto è c in tutte le direzioni, ma in un sistema inerziale in moto con velocità assoluta v, il teorema di composizione delle velocità (3) fornisce per la velocità della luce un valore diverso che dipende da v e dalla direzione di ... Leggi Tutto

CATEGORIA: RELATIVITA E GRAVITAZIONE – DOTTRINE TEORIE E CONCETTI – METAFISICA

TAGS: LOGICA DELLA SCOPERTA SCIENTIFICA – PRINCIPIO DI ESCLUSIONE DI PAULI – SISTEMA DI COORDINATE CARTESIANE – MOMENTO ANGOLARE INTRINSECO – SPOSTAMENTO VERSO IL ROSSO

numero

Enciclopedia on line

Ciascuno degli enti astratti che costituiscono una successione ordinata e che, fatti corrispondere ciascuno a ciascun oggetto preso in considerazione, servono a indicare la quantità degli oggetti costituenti [...] triangolare e di due volte l’(n–1)-esimo n. triangolare; se ne deduce che l’n-esimo n. pentagonale è n(3n–1)/2. Il teorema dei n. pentagonali, dovuto a Eulero esprime la funzione Φ(x) = (1−x) (1−x2) (1−x3) … (1−xn) … (introdotta anch’essa da Eulero e ... Leggi Tutto

CATEGORIA: CRITICA RETORICA E STILISTICA – FILOSOFIA DEL LINGUAGGIO – GRAMMATICA – ALGEBRA – ARITMETICA – CONTABILITA – DOTTRINE TEORIE E CONCETTI – DOTTRINE TEORIE CONCETTI

TAGS: FUNZIONI DI VARIABILE COMPLESSA – SISTEMI DI EQUAZIONI, LINEARI – FUNZIONI DI VARIABILE REALE – RELAZIONE DI EQUIVALENZA – FUNZIONE ZETA DI RIEMANN

Scienza greco-romana. Scetticismo e critica della conoscenza scientifica

Storia della Scienza (2001)

Scienza greco-romana. Scetticismo e critica della conoscenza scientifica Jim R. Hankinson Scetticismo e critica della conoscenza scientifica Con le sue riflessioni sui limiti della conoscenza umana, [...] lo stato ipotetico delle ipotesi, mutandole in assiomi. Il punto di vista di Timone può essere stato questo: i teoremi sono validi tanto quanto gli assiomi su cui si basano, dunque non possono fornire nessuna conferma indipendente della verità degli ... Leggi Tutto

CATEGORIA: EPISTEMOLOGIA – STORIA DEL PENSIERO FILOSOFICO

Laplace Pierre-Simon de

Dizionario delle Scienze Fisiche (1996)

Laplace Pierre-Simon de Laplace 〈laplàs〉 (in origine La Place) Pierre-Simon de (questa particella viene quasi sempre fatta cadere) [STF] (Beaumont-en-Auge, Calvados, 1749 - Parigi 1827) Prof. di matematica [...] è uguale alla somma dei prodotti degli elementi di una prefissata riga (o colonna) per i rispettivi complementi algebrici; (b) secondo teorema: è sempre nulla la somma dei prodotti degli elementi di una riga (o colonna) di una matrice quadrata per i ... Leggi Tutto

CATEGORIA: ASTROFISICA E FISICA SPAZIALE – ELETTROLOGIA – FISICA ATOMICA E MOLECOLARE – FISICA MATEMATICA – GEOFISICA – STORIA DELLA FISICA – ALGEBRA – ANALISI MATEMATICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

TAGS: EQUAZIONI DIFFERENZIALI ORDINARIE – ACCADEMIA DI FRANCIA – EQUAZIONI ELLITTICHE – FORZA GRAVITAZIONALE – CORRENTE ELETTRICA

verità

Enciclopedia on line

verità Conformità o coerenza a principi dati o a una realtà obiettiva. Filosofia Definizione e criterio di verità Nella storia della filosofia il concetto di v. è stato concepito in almeno due diverse [...] «adeguata», una definizione di v. non può che basarsi su una distinzione tra linguaggio-oggetto e metalinguaggio, consentendo di derivare come teoremi equivalenze del tipo «‘p’ è vero se e solo se p», dove ‘p’ è il nome nel metalinguaggio di un ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: PRESSIONE SANGUIGNA – NEOPOSITIVISTA – NEOPLATONISMO – INTELLETTIVA – GNOSEOLOGICO

Frosini, Vittorio

Enciclopedia on line

Filosofo italiano del diritto (Catania 1922 - Roma 2001). Tra i giuristi di rilievo della sua generazione, fu osservatore attento dei fenomeni emergenti in campo giuridico e sociale, di cui seppe dare [...] che con F. si denominò Istituto di Teoria dell'interpretazione e di Informatica giuridica. Tra le sue numerose opere: Teoremi e problemi di scienza giuridica (1971); Il diritto nella società tecnologica (1981); La lettera e lo spirito della legge ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA E FILOSOFIA DEL DIRITTO – FILOSOFIA DEL DIRITTO

TAGS: CONSIGLIO SUPERIORE DELLA MAGISTRATURA – INFORMATICA GIURIDICA – FILOSOFIA DEL DIRITTO – SCIENZA GIURIDICA – GIURISPRUDENZA