formelsprache

  • 91FREGE (G.) — Professeur de mathématiques à l’université d’Iéna, Gottlob Frege est le fondateur de la logique moderne ou logique mathématique , selon l’appellation due à Giuseppe Peano et universellement admise. Longtemps méconnus, ses travaux furent révélés… …

    Encyclopédie Universelle

  • 92Alchimie — Transmutation; Elementumwandlung; Alchemie; Goldmacherkunst * * * Al|chi|mie 〈[ çi ] f. 19; unz.〉 = Alchemie * * * Al|che|mie, Al|chi|mie [über frz. alchimie, span. alquimia von arab. al ki̅miya̅ = Kunst des Legierens, Metallschmelzens, der… …

    Universal-Lexikon

  • 93chemische Elemente — chemische Elemẹnte   [ç ], durch chemische Verfahren nicht weiter zerlegbare Stoffe, bestehend aus Atomen mit gleicher Ordnungszahl (Kernladungszahl). Sie können zu chemischen Verbindungen zusammentreten und aus diesen durch chemische Methoden… …

    Universal-Lexikon

  • 94deutsche Literatur: Lyrik des Barocks zwischen Pathos und Innerlichkeit —   Barocke Lyrik spricht nicht unmittelbar zu Gefühl und Stimmung, wie man das von goethezeitlichen Gedichten gewohnt ist. Sie will nicht origineller Ausdruck einzigartiger Subjektivität sein. Das herrschende Versmaß des Alexandriners mit seinem… …

    Universal-Lexikon

  • 95Frege — Frege,   Friedrich Ludwig Gottlob, Mathematiker, Logiker und Philosoph, * Wismar 8. 11. 1848, ✝ Bad Kleinen 26. 7. 1925; studierte Mathematik, Physik, Chemie und Philosophie in Jena und Göttingen (1869 71); seit 1879 Professor der Mathematik in… …

    Universal-Lexikon

  • 96Cogito — Cogito, ergo sum: ›Indem ich denke, bin ich‹. Das erste Prinzip der Philosophie des Descartes (1596 1650) ist zum wahrscheinlich berühmtesten philosophischen Zitat überhaupt geworden. Mit seinem ›Je pense, donc je suis‹ schuf Descartes die… …

    Das Wörterbuch der Idiome

  • 97Okay — Etwas ist okay: eine Sache ist in Ordnung, findet Zustimmung, auch: etwas ist zur Zufriedenheit erledigt worden, ist erfolgreich beendet. Der Ausruf: Alles okay! dient der Bestätigung und meint: Alles ist bereit; es kann losgehen! Sein Okay für… …

    Das Wörterbuch der Idiome

  • 98ALGOL — das; s Kurzw. aus engl. algorithmic language> Formelsprache zur Programmierung beliebiger Rechenanlagen aus den 1960er Jahren, die großen Einfluss auf später entwickelte Programmiersprachen (z. B. PASCAL) hatte (EDV) …

    Das große Fremdwörterbuch