Witt, Johan de

Enciclopedia on line

Uomo politico olandese (Dordrecht 1625 - L'Aia 1672), figlio di Jacob. Gran pensionario d'Olanda (più volte dal 1653), stipulò la Triplice Alleanza ma non riuscì a scongiurare l'isolamento dell'Olanda [...] ucciso dagli orangisti. Vita e attività Avvocato all'Aia presso la corte di Olanda, nel 1650 divenne pensionario di Dordrecht, la prima città d'Olanda. Presto considerato capo della "fazione di Loevestein", cioè del partito dei reggenti olandesi ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA DELLA MATEMATICA

TAGS: EQUAZIONI DI SECONDO GRADO – GUGLIELMO D'ORANGE – TRIPLICE ALLEANZA – GRAN PENSIONARIO – PROVINCE UNITE

Fuzzy

Enciclopedia della Scienza e della Tecnica (2007)

Fuzzy Settimo Termini L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema. L'aspetto [...] , Jiri, Notes on vagueness and mathematics, in: Aspects of vagueness, edited by Heinz K. Skala, Settimo Termini, Enric Trillas, Dordrecht-Boston, Reidel, 1984, pp. 1-11. Black 1937: Black, Max, Vagueness, "Philosophy of science", 4, 1937, pp. 427-455 ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

TAGS: ACADÉMIE DES SCIENCES – TEORIA DEGLI INSIEMI – LUDWIG WITTGENSTEIN – JOHN VON NEUMANN – GOTTLOB FREGE

L'Ottocento: matematica. Calcolo geometrico

Storia della Scienza (2003)

L'Ottocento: matematica. Calcolo geometrico Paolo Freguglia Gert Schubring Calcolo geometrico Uno degli aspetti che hanno caratterizzato lo sviluppo della matematica nell'Ottocento è rappresentato [...] and sign-grounding mathematics education. Festschrift for Michael Otte, edited by Michael Hoffmann, Johannes Lenhard and Falk Seeger, Dordrecht, Kluwer Academic, 2003. Sinègre 1995: Sinègre, L., Les quaternions et le mouvement du solide autour d'un ... Leggi Tutto

CATEGORIA: GEOMETRIA – STORIA DELLA MATEMATICA

Scienza greco-romana. La matematica nel V secolo

Storia della Scienza (2001)

Scienza greco-romana. La matematica nel V secolo Reviel Netz La matematica nel V secolo Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] of the Euclidean elements. A study of the theory of incommensurable magnitudes and its significance for early Greek geometry, Dordrecht-Boston, D. Reidel Publ. Co., 1975. – 1981: Knorr, Wilbur R., On the early history of axiomatics. The interaction ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] Asquith), East Lansing, Mich., 1977, pp. 153-172. Cappelletti, V., Grmek, M. D. (a cura di), On scientific discovery, Dordrecht 1979 (tr. it.: La scoperta scientifica, Milano 1979). Carnap, R., The continuum of inductive methods, Chicago 1952 (tr. it ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE

La civiltà islamica: antiche e nuove tradizioni in matematica. Il Libro V degli Elementi

Storia della Scienza (2002)

La civilta islamica: antiche e nuove tradizioni in matematica. Il Libro V degli Elementi Bijan Vahabzadeh Il Libro V degli Elementi. i commentari arabi sulla teoria delle proporzioni La teoria delle [...] of the Euclidean elements. A study of the theory of incommensurable magnitudes and its significance for early Greek geometry, Dordrecht-Boston-London, Reidel, 1975. Murdoch 1963: Murdoch, John E., The medieval language of proportions. Elements of the ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

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 [...] , Y. Bar-Hillel, A. Levy, Foundations of set theory, ivi 1973; Logical theory and semantic analysis (a cura di S. Stenlund), Dordrecht 1974 (con scritti di D. Lewis, R. C. Jeffrey, J. Hintikka, D. Scott). A questo elenco di pubblicazioni in lingua ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – TEORIA DELLE CATEGORIE – TEORIA DEGLI INSIEMI – SISTEMA ASSIOMATICO – TEORIA DEI MODELLI

EQUAZIONI DIFFERENZIALI

Enciclopedia Italiana - V Appendice (1992)

(v. equazioni, XIV, p. 132; App. III, I, p. 564; IV, I, p. 714) Ogni anno migliaia di pubblicazioni compaiono nella letteratura scientifica e ci si dovrà quindi limitare a delineare alcune linee essenziali, [...] pp. 547-70; Periodic solutions of Hamiltonian systems and related topics, a cura di A. Ambrosetti e altri, Dordrecht 1987; J. Ericksen, D. Kinderlehrer, Theory and applications of liquid crystals, in Institute Mathematics Applications Series, 5, New ... Leggi Tutto

TAGS: EQUAZIONE A DERIVATE PARZIALI – EQUAZIONI DI EULERO-LAGRANGE – EQUAZIONI DI NAVIER-STOKES – CALCOLO DELLE VARIAZIONI – DIMENSIONE DI HAUSDORFF

Matematica

Enciclopedia Italiana - VI Appendice (2000)

Matematica Ana Millán Gasca (XXII, p. 257; App. II, ii, p. 276; III, ii, p. 44; IV, ii, p. 414) Nella voce matematica pubblicata nel vol. XXII della Enciclopedia Italiana, l'etimologia greca della parola [...] , pp. 287-96. L. Accardi, Urne e camaleonti, Milano 1997. Many visions, many aims, ed. W.H. Schmidt et al., Dordrecht-Boston 1997. J.P. Bourguignon, Enjeux des mathématiques dans la société d'aujourd'hui, preprint, Paris 1998. C. Cellucci, Le ragioni ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: INTERNATIONAL MATHEMATICAL UNION – PROGRAMMAZIONE NON LINEARE – INTELLIGENZA ARTIFICIALE – ULTIMO TEOREMA DI FERMAT – SECONDA GUERRA MONDIALE

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 [...] non monotone, Milano, McGraw-Hill, 2001. Fitting 1983: Fitting, Melvin, Proof methods for modal and intuitionistic logic, Dordrecht-Lancaster, Reidel, 1983. Girard 2004: Girard, Jean-Yves, Lectures on proof-theory, Roma Tre, october-december 2004 ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

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