home.social

#logik — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #logik, aggregated by home.social.

  1. @micki

    Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

    #Technogie ist nur der Anfang!

    Wer hat Ideen für eine #LO-Einsparung?

    Ich fange mal an:

    1. Ornithogie (Vogelkunde)
    2. Gopädie (Sprecherziehung)
    3. Pitʔin (Luftfahrzeugführerʔin)
    4. Gik (Schlussfolgerungslehre)
    5. Po (Ballsportart und VW-Kleinwagen)
    6. B (Ausdruck der Anerkennung)
    7. Iserhn (Stadt in NRW)

    #Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

  2. @micki

    Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

    #Technogie ist nur der Anfang!

    Wer hat Ideen für eine #LO-Einsparung?

    Ich fange mal an:

    1. Ornithogie (Vogelkunde)
    2. Gopädie (Sprecherziehung)
    3. Pitʔin (Luftfahrzeugführerʔin)
    4. Gik (Schlussfolgerungslehre)
    5. Po (Ballsportart und VW-Kleinwagen)
    6. B (Ausdruck der Anerkennung)
    7. Iserhn (Stadt in NRW)

    #Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

  3. @micki

    Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

    #Technogie ist nur der Anfang!

    Wer hat Ideen für eine #LO-Einsparung?

    Ich fange mal an:

    1. Ornithogie (Vogelkunde)
    2. Gopädie (Sprecherziehung)
    3. Pitʔin (Luftfahrzeugführerʔin)
    4. Gik (Schlussfolgerungslehre)
    5. Po (Ballsportart und VW-Kleinwagen)
    6. B (Ausdruck der Anerkennung)
    7. Iserhn (Stadt in NRW)

    #Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

  4. @micki

    Vielleicht wird das Einsparen des "lo" ein ganz großer Trend und wir werden #KatharinaReiche noch sehr dankbar sein für die Einsparung Seltener Buchstaben, wenn #SelteneErden aus #China schon so ein großes Problem für sie sind.

    #Technogie ist nur der Anfang!

    Wer hat Ideen für eine #LO-Einsparung?

    Ich fange mal an:

    1. Ornithogie (Vogelkunde)
    2. Gopädie (Sprecherziehung)
    3. Pitʔin (Luftfahrzeugführerʔin)
    4. Gik (Schlussfolgerungslehre)
    5. Po (Ballsportart und VW-Kleinwagen)
    6. B (Ausdruck der Anerkennung)
    7. Iserhn (Stadt in NRW)

    #Orthographie #DeutscheSprache #Linguistik #Ornithologie #Logopädie #Pilot #Pilotin #Logik #Polo #Lob #Iserlohn

  5. Am Anfang wirkt komplexer Code oft beeindruckend. Da steckt viel Logik drin, es gibt verschachtelte Bedingungen, generische Konstrukte und Methoden, die scheinbar alles gleichzeitig lösen. Auf den ersten Blick sieht das nach Können aus. In der Praxis ist das aber selten ein Vorteil.

    magicmarcy.de/warum-du-mit-sau

    #Coding #Code #Java #Logik #Methoden #Bedingungen #Programming

  6. Am Anfang wirkt komplexer Code oft beeindruckend. Da steckt viel Logik drin, es gibt verschachtelte Bedingungen, generische Konstrukte und Methoden, die scheinbar alles gleichzeitig lösen. Auf den ersten Blick sieht das nach Können aus. In der Praxis ist das aber selten ein Vorteil.

    magicmarcy.de/warum-du-mit-sau

    #Coding #Code #Java #Logik #Methoden #Bedingungen #Programming

  7. Am Anfang wirkt komplexer Code oft beeindruckend. Da steckt viel Logik drin, es gibt verschachtelte Bedingungen, generische Konstrukte und Methoden, die scheinbar alles gleichzeitig lösen. Auf den ersten Blick sieht das nach Können aus. In der Praxis ist das aber selten ein Vorteil.

    magicmarcy.de/warum-du-mit-sau

    #Coding #Code #Java #Logik #Methoden #Bedingungen #Programming

  8. Logik löst alles – außer deine Angst

    Logik löst alles – außer deine Angst. Vertrauen? Ein Bug im System. Innere Leere trotz perfektem Code. Was, wenn Urvertrauen energetisch ist? Intuition zurückgewinnen?

    👉 Mehr erfahren & direkt reinschauen:
    ehrliche-empfehlungen.de/urver

    #Urvertrauen #Intuition #InnereFührung #Logik

  9. Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

    #psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

    infosophia.eu/Borromaeische-Lo

  10. Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

    #psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

    infosophia.eu/Borromaeische-Lo

  11. Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

    #psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

    infosophia.eu/Borromaeische-Lo

  12. Die folgende Arbeit entwickelt den borromäischen Knoten als Denkfigur für ein rotierendes Zusammenspiel von drei Registern in einer selbstreflexiven, dreiwertigen, paradoxen Logik mit drei involutiven Negationsoperatoren.

    #psychology #lacan #polykontextualitat #polykontextural #logic #reflection #philosophy #ai #ki #paradox #Paradoxien #logik #semiotik #semiotic #semiotics #cybernetics #kybernetik #semioticsystem #cybernetic #kybernetiker #kybernethik

    infosophia.eu/Borromaeische-Lo

  13. @kloeffi Die Crux leicht verfügbaren Wissens besteht in der Gefahr, die eigene Unkenntnis falsch einzuschätzen.
    Ich bin immer wieder auf’s Neue schockiert, wie verschwindend gering das Verständnis vieler Menschen für die Grundzüge wissenschaftlicher Methodik ist. Kombiniert mit der modernen Unart, sich auch komplett ohne Ahnung lautstark zu Wort zu melden ist das quasi nicht auszuhalten.

    #Wissenschaft #Meinung #Methodik #Stringenz #Logik #Konsens vs #Geschwätz

  14. @kloeffi Die Crux leicht verfügbaren Wissens besteht in der Gefahr, die eigene Unkenntnis falsch einzuschätzen.
    Ich bin immer wieder auf’s Neue schockiert, wie verschwindend gering das Verständnis vieler Menschen für die Grundzüge wissenschaftlicher Methodik ist. Kombiniert mit der modernen Unart, sich auch komplett ohne Ahnung lautstark zu Wort zu melden ist das quasi nicht auszuhalten.

    #Wissenschaft #Meinung #Methodik #Stringenz #Logik #Konsens vs #Geschwätz

  15. Spaltung von Gesellschaft hat als Ursache zweiwertige Logik, welche verschiedene Kontexturen nicht verbinden kann. Funktionierende Politik muss diese Grenzen überwinden können.

    #Demokratie #Logik #Gesellschaft

    linkedin.com/pulse/wenn-logik-

  16. Spaltung von Gesellschaft hat als Ursache zweiwertige Logik, welche verschiedene Kontexturen nicht verbinden kann. Funktionierende Politik muss diese Grenzen überwinden können.

    #Demokratie #Logik #Gesellschaft

    linkedin.com/pulse/wenn-logik-

  17. Und ich höre schon die #noCDU schreien " Nein, das ist zu klug und nutzt den Vermögenden nichts. Das unterstützen wir nicht!"
    #Logik #Vernunft #Klugheit

  18. Sie logen über Überlebensausrüstung - die 7 Werkzeuge, die man tatsächlich braucht, wenn man...
    youtube.com/watch?v=-V1qo_tczY
    Es spielt keine Rolle, ob es #AI generiert ist. Die #Logik schreit es einfach nur so heraus! An alle möchtegern #Prepper, Pepper und Weltuntergangsleute: Schraubt es euch rein; und ihr werdet leben!!!
    Genug der #Dramatik ...'n schönen Abend noch...;]

  19. Wenn du zum ersten Mal eine Java-EE-Anwendung auf WildFly deployest, wirkt die Struktur oft wie ein Detail, das man „später“ aufräumt. Es läuft ja auch, wenn du alles in eine WAR packst. Genau deshalb stolpern viele erst dann über das Thema, wenn die Anwendung wächst oder wenn du dieselbe L

    magicmarcy.de/wiederverwendbar

    #Logik #Java #EJB #WAR #Coding #Fachlogik #Service #Web #Wiederverwendbarkeit #Programming

  20. Wenn du zum ersten Mal eine Java-EE-Anwendung auf WildFly deployest, wirkt die Struktur oft wie ein Detail, das man „später“ aufräumt. Es läuft ja auch, wenn du alles in eine WAR packst. Genau deshalb stolpern viele erst dann über das Thema, wenn die Anwendung wächst oder wenn du dieselbe L

    magicmarcy.de/wiederverwendbar

    #Logik #Java #EJB #WAR #Coding #Fachlogik #Service #Web #Wiederverwendbarkeit #Programming

  21. Wenn du zum ersten Mal eine Java-EE-Anwendung auf WildFly deployest, wirkt die Struktur oft wie ein Detail, das man „später“ aufräumt. Es läuft ja auch, wenn du alles in eine WAR packst. Genau deshalb stolpern viele erst dann über das Thema, wenn die Anwendung wächst oder wenn du dieselbe L

    magicmarcy.de/wiederverwendbar

    #Logik #Java #EJB #WAR #Coding #Fachlogik #Service #Web #Wiederverwendbarkeit #Programming

  22. Ihr raffts einfach nicht:

    ∀ Mann: Mann=Arschloch

    Ist nicht das selbe wie

    ∃ Mann: Mann=Arschloch

    Sondern es ist tatsächlich so, das

    ∃ Mann: Mann=¬Arschloch

    so das gilt:

    ∀ Mann: Mann=(Arschloch ∪ ¬Arschloch)

    Nur das man das sprachlich halt so nicht ausdrückt.

    #notallmen #logik

    Und jetzt ehrlich, Geschlechtsgenossen: Viele von uns benehmen sich echt total daneben. Und das ist SEHR milde ausgedrückt.

  23. Ihr raffts einfach nicht:

    ∀ Mann: Mann=Arschloch

    Ist nicht das selbe wie

    ∃ Mann: Mann=Arschloch

    Sondern es ist tatsächlich so, das

    ∃ Mann: Mann=¬Arschloch

    so das gilt:

    ∀ Mann: Mann=(Arschloch ∪ ¬Arschloch)

    Nur das man das sprachlich halt so nicht ausdrückt.

    #notallmen #logik

    Und jetzt ehrlich, Geschlechtsgenossen: Viele von uns benehmen sich echt total daneben. Und das ist SEHR milde ausgedrückt.

  24. Code Smells sind Hinweise darauf, dass im Code etwas nicht sauber ist - etwas schlecht riecht. Es geht nicht um Syntaxfehler oder Bugs, sondern um Strukturen, die dich langfristig ausbremsen. Der Code funktioniert vielleicht heute, aber er wird schwerer zu verstehen, zu testen und zu erweitern. Gera

    magicmarcy.de/code-smells-was-

    #CodeSmells #Methoden #Logik #Parameter #MagicStrings #MagicNumbers #Programming #Awareness

  25. Code Smells sind Hinweise darauf, dass im Code etwas nicht sauber ist - etwas schlecht riecht. Es geht nicht um Syntaxfehler oder Bugs, sondern um Strukturen, die dich langfristig ausbremsen. Der Code funktioniert vielleicht heute, aber er wird schwerer zu verstehen, zu testen und zu erweitern. Gera

    magicmarcy.de/code-smells-was-

    #CodeSmells #Methoden #Logik #Parameter #MagicStrings #MagicNumbers #Programming #Awareness

  26. Code Smells sind Hinweise darauf, dass im Code etwas nicht sauber ist - etwas schlecht riecht. Es geht nicht um Syntaxfehler oder Bugs, sondern um Strukturen, die dich langfristig ausbremsen. Der Code funktioniert vielleicht heute, aber er wird schwerer zu verstehen, zu testen und zu erweitern. Gera

    magicmarcy.de/code-smells-was-

    #CodeSmells #Methoden #Logik #Parameter #MagicStrings #MagicNumbers #Programming #Awareness

  27. Soweit zur #Logik der KIs. 😩
    Wenn die "Blechdeppen" wenigstens einen Satz unfallfrei hinbekommen würden.
    Und denen vertrauen nicht wenige sensible Daten an ... 😒
    Ach ja, das ist eine Umfrage der #Mainova.

  28. Logisch, oder alles nur ein Trick?
    Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

    #chatgpt #ai #logik

    Check out this video by @darkcoffee8 ! loops.video/v/dTLXZ6XnBM

  29. Logisch, oder alles nur ein Trick?
    Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

    #chatgpt #ai #logik

    Check out this video by @darkcoffee8 ! loops.video/v/dTLXZ6XnBM

  30. Logisch, oder alles nur ein Trick?
    Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

    #chatgpt #ai #logik

    Check out this video by @darkcoffee8 ! loops.video/v/dTLXZ6XnBM

  31. Logisch, oder alles nur ein Trick?
    Was meint ihr, hat ChatGPT etwas daraus „gelernt“?

    #chatgpt #ai #logik

    Check out this video by @darkcoffee8 ! loops.video/v/dTLXZ6XnBM

  32. "Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
    blog.tib.eu/2026/01/14/welttag

  33. "Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
    blog.tib.eu/2026/01/14/welttag

  34. "Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
    blog.tib.eu/2026/01/14/welttag

  35. "Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
    blog.tib.eu/2026/01/14/welttag

  36. "Vom Papier zum Pixel": neue Blogpost-Reihe der @tibhannover zur Retrodigitalisierung! Erster Beitrag: „Welttag der #Logik“ – ein Tag im Zeichen des logischen Denkens"
    blog.tib.eu/2026/01/14/welttag

  37. „Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

    In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

    Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

    Ein Offizieller UNESCO-Welttag

    Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

    Werke berühmter Logiker:innen im TIB-Bestand

    Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

    An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

    Georg Wilhelm Friedrich Hegel

    Georg Wilhelm Friedrich Hegel, Lithografie von Ludwig Sebbers

    Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

    Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

    Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

    George Boole

    Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

    Ernst Schröder

    Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

    Vorlesungen über die Algebra der Logik (Exakte Logik)“:

    Abriss der Algebra der Logik“:

    Gottlob Frege

    Gottlob Frege (1878)

    Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

    Grundgesetze der Arithmetik“:

    Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

    Dissertation von Emmy Noether

    Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

    Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

    Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

    Sophie Germain

    Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

    Christine Ladd-Franklin

    Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

    Sofja Kowalewskaja

    Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

    Porträt von Emmy Noether, vor 1910

    Emmy Noether

    Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

    Drei Bände der von ihr mitherausgegebenen Gesammelte mathematische Werke wurden bereits digitalisiert:
    Band 1 von 1930

    Band 2 von 1931
    Band 3 von 1932

    Ihre Dissertation aus dem Jahr 1908Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

    Susan Stebbing

    Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

    Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

    Retrodigitalisierung – vom Papier zum Pixel

    Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

    In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

    #LizenzCCBY40INT #Retrodigitalisierung #Logik
  38. „Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

    In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

    Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

    Ein Offizieller UNESCO-Welttag

    Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

    Werke berühmter Logiker:innen im TIB-Bestand

    Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

    An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

    Georg Wilhelm Friedrich Hegel

    Georg Wilhelm Friedrich Hegel, Lithografie von Ludwig Sebbers

    Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

    Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

    Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

    George Boole

    Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

    Ernst Schröder

    Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

    Vorlesungen über die Algebra der Logik (Exakte Logik)“:

    Abriss der Algebra der Logik“:

    Gottlob Frege

    Gottlob Frege (1878)

    Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

    Grundgesetze der Arithmetik“:

    Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

    Dissertation von Emmy Noether

    Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

    Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

    Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

    Sophie Germain

    Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

    Christine Ladd-Franklin

    Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

    Sofja Kowalewskaja

    Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

    Porträt von Emmy Noether, vor 1910

    Emmy Noether

    Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

    Drei Bände der von ihr mitherausgegebenen Gesammelte mathematische Werke wurden bereits digitalisiert:
    Band 1 von 1930

    Band 2 von 1931
    Band 3 von 1932

    Ihre Dissertation aus dem Jahr 1908Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

    Susan Stebbing

    Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

    Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

    Retrodigitalisierung – vom Papier zum Pixel

    Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

    In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

    #Retrodigitalisierung #Logik #LizenzCCBY40INT
  39. „Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

    In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

    Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

    Ein Offizieller UNESCO-Welttag

    Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

    Werke berühmter Logiker:innen im TIB-Bestand

    Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

    An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

    Georg Wilhelm Friedrich Hegel

    Georg Wilhelm Friedrich Hegel, Lithografie von Ludwig Sebbers

    Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

    Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

    Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

    George Boole

    Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

    Ernst Schröder

    Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

    Vorlesungen über die Algebra der Logik (Exakte Logik)“:

    Abriss der Algebra der Logik“:

    Gottlob Frege

    Gottlob Frege (1878)

    Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

    Grundgesetze der Arithmetik“:

    Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

    Dissertation von Emmy Noether

    Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

    Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

    Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

    Sophie Germain

    Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

    Christine Ladd-Franklin

    Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

    Sofja Kowalewskaja

    Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

    Porträt von Emmy Noether, vor 1910

    Emmy Noether

    Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

    Drei Bände der von ihr mitherausgegebenen Gesammelte mathematische Werke wurden bereits digitalisiert:
    Band 1 von 1930

    Band 2 von 1931
    Band 3 von 1932

    Ihre Dissertation aus dem Jahr 1908Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

    Susan Stebbing

    Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

    Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

    Retrodigitalisierung – vom Papier zum Pixel

    Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

    In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

    #LizenzCCBY40INT #Retrodigitalisierung #Logik
  40. „Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

    In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

    Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

    Ein Offizieller UNESCO-Welttag

    Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

    Werke berühmter Logiker:innen im TIB-Bestand

    Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

    An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

    Georg Wilhelm Friedrich Hegel

    Georg Wilhelm Friedrich Hegel, Lithografie von Ludwig Sebbers

    Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

    Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

    Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

    George Boole

    Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

    Ernst Schröder

    Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

    Vorlesungen über die Algebra der Logik (Exakte Logik)“:

    Abriss der Algebra der Logik“:

    Gottlob Frege

    Gottlob Frege (1878)

    Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

    Grundgesetze der Arithmetik“:

    Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

    Dissertation von Emmy Noether

    Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

    Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

    Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

    Sophie Germain

    Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

    Christine Ladd-Franklin

    Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

    Sofja Kowalewskaja

    Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

    Porträt von Emmy Noether, vor 1910

    Emmy Noether

    Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

    Drei Bände der von ihr mitherausgegebenen Gesammelte mathematische Werke wurden bereits digitalisiert:
    Band 1 von 1930

    Band 2 von 1931
    Band 3 von 1932

    Ihre Dissertation aus dem Jahr 1908Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

    Susan Stebbing

    Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

    Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

    Retrodigitalisierung – vom Papier zum Pixel

    Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

    In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

    #Logik #LizenzCCBY40INT #Retrodigitalisierung
  41. „Welttag der Logik“ – ein Tag im Zeichen des logischen Denkens

    In unserer neuen Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigen wir, wie die TIB durch die Digitalisierung ihrer analogen Bestände wissenschaftliche Schätze sichert und weltweit zugänglich macht. Dabei geben wir auch Einblicke in die technischen und rechtlichen Prozesse moderner Retrodigitalisierung. Im ersten Beitrag stehen anlässlich des Welttages der Logik die Werke großer Logikerinnen und Logiker des 19. und 20. Jahrhunderts im Fokus, die die TIB aus ihrem Bestand schon digitalisiert hat.

    Am 14. Januar ist der „Welttag der Logik“ (engl. „World Logic Day“), der ganz im Zeichen des logischen Denkens steht. Die Entstehungsgeschichte dieses Tages, der 2018 zum ersten Mal begangen wurde, geht auf die Logica Universalis Association (LUA) zurück, deren Hauptquartier sich nach eigenen Aussagen auf ihrer Homepage in dem nach George Boole (englischer Mathematiker, Logiker und Philosoph, 1815–1864) benannten Mondkrater 63.7°N 87.4°W befindet. Die LUA versteht sich als Vereinigung, die die weltweite Förderung der Logik vorantreiben möchte.

    Ein Offizieller UNESCO-Welttag

    Am 14. Oktober 2019 fand mit circa 60 unabhängigen Veranstaltungen verschiedener Organisationen und Partner:innen der erste „World Logic Day“ in 33 Ländern statt. Die Organisatoren schlugen der UNESCO (United Nations Educational, Scientific and Cultural Organization) aufgrund der erfolgreichen Durchführung der ersten Veranstaltung den 14. Januar als zukünftigen Welttag der Logik vor. Dies wurde am 19. November 2019 in Paris positiv entschieden. Damit trägt dieser Ehrentag den Status eines offiziellen UNESCO-Welttags.

    Werke berühmter Logiker:innen im TIB-Bestand

    Diesen Tag haben wir uns in der Retrodigitalisierung der TIB zum Anlass genommen, zu schauen, welche Werke berühmter Logikerinnen und Logiker des 19. und 20. Jahrhunderts sich in unserem Bestand befinden und bereits digitalisiert wurden. Als deutsche zentrale Fachbibliothek für Technik sowie Architektur, Chemie, Informatik, Mathematik und Physik sind wir natürlich fündig geworden und wollen hier auf einige interessante Digitalisate, die wissenschaftlich von großer Bedeutung sind, aufmerksam machen.

    An unserem TIB-Standort in Rethen scannt das Team Retrodigitalisierung ausgewählte Sammlungen aus dem Altbestand der TIB, der überwiegend aus dem 19. und dem frühen 20. Jahrhundert stammt. Wir stellen die sogenannten Digitalisate online zur Verfügung, sofern sie urheberrechtsfrei sind (Verfasser:in mindestens 70 Jahre verstorben) oder wir die Genehmigung für eine Veröffentlichung erhalten haben. Unsere Digitalisate sind über unseren Viewer zu finden. Hier kann man thematisch oder gezielt nach digitalisierten Werken suchen.

    Georg Wilhelm Friedrich Hegel

    Georg Wilhelm Friedrich Hegel, Lithografie von Ludwig Sebbers

    Der bedeutendste Logiker des 18. Jahrhunderts war Georg Wilhelm Friedrich Hegel (1770–1831). Sein philosophisches Werk zählt zu den wichtigsten Werken der neueren Philosophiegeschichte und gliedert sich in „Logik“, „Naturphilosophie“ und „Philosophie des Geistes“.

    Alle 15 Bände in 2. Auflage von 1840–1847 des Titels „Georg Wilhelm Friedrich Hegel‘s Werke: vollständige Ausgabe durch einen Verein von Freunden des Verewigten“ finden sich in unserem Viewer.

    Die Bände 3 bis 5 haben den Gesamttitel „Georg Wilhelm Friedrich Hegel‘s Wissenschaft der Logik“ von 1841:

    George Boole

    Natürlich darf oben genannter George Boole (1815–1864) nicht fehlen. Die für die Computertechnik grundlegende nach ihm benannte Boolesche Algebra. Durch seine Arbeiten wurde die Logik in die Mathematik integriert. Folgende Bücher wurden digitalisiert:

    Ernst Schröder

    Ernst Schröder (1841–1902) war deutscher Mathematiker und Logiker. Er hat mit den folgenden Werken eine der Grundlagen für die begriffliche Wissensverarbeitung geschaffen:

    Vorlesungen über die Algebra der Logik (Exakte Logik)“:

    Abriss der Algebra der Logik“:

    Gottlob Frege

    Gottlob Frege (1878)

    Als größter Logiker des 19. Jahrhunderts wird immer wieder Gottlob Frege (1848–1925) genannt. Er war Mathematiker, Logiker und Philosoph. Als erster hat er eine formale Sprache und damit zusammenhängend formale Beweise entwickelt. Damit schuf er eine wesentliche Grundlage für die heutige Computertechnik und Informatik.

    Grundgesetze der Arithmetik“:

    Bedeutende Logikerinnen des 18. und 19. Jahrhunderts

    Dissertation von Emmy Noether

    Es gab auch im 18. und 19. Jahrhundert Logikerinnen, die bedeutende Fortschritte in der Logik hervorgebracht haben. Jedoch wurde wie bei so vielen anderen Wissenschaftlerinnen auch die Arbeit der Logikerinnen entweder nicht veröffentlicht oder ihren männlichen Kollegen zugeschrieben. Das Fehlen von Namen prominenter Logikerinnen ist auf die damalige soziale und wissenschaftliche Situation zurückzuführen und nicht auf einen Mangel an Fähigkeiten der Frauen. Mangelnde Anerkennung und systematische Ausgrenzungen waren die übliche Behandlung für Frauen in der Wissenschaft.

    Das spiegelt sich auch in den Veröffentlichungen der jeweiligen Zeit und somit auch im Bestand der TIB zum Thema Logik wider. Man muss schon ziemlich suchen, um Werke berühmter Logikerinnen zu finden.

    Einige wichtige Forscherinnen haben wir jedoch in unserem Bestand entdeckt und zum Teil speziell für den Welt Logik Tag digitalisiert.

    Sophie Germain

    Sophie Germain (1776–1831) war eine französische Mathematikerin, die für ihre Forschung in der Zahlentheorie, der Elastizitätstheorie und für die Entdeckung der Sophie-Germain-Primzahlen bekannt wurde. Ihr Buch „Recherches sur la théorie des surfaces élastiques“ erschien 1821.

    Christine Ladd-Franklin

    Von der bedeutenden US-amerikanischen Mathematikerin Christine Ladd-Franklin (1847–1930) befindet sich leider kein Werk im Bestand der TIB. Sie arbeitete im Bereich der symbolischen Logik. Sie war die erste Frau in den USA, die 1883 alle formalen Voraussetzungen für eine Promotion in Mathematik erlangte. Ihre Dissertation wurde formal erst 1926 (also 43 Jahre später) anerkannt.

    Sofja Kowalewskaja

    Sofja Kowalewskaja (1850–1891), russische Mathematikerin, taucht zumindest als Verfasserin von Zusatztexten in „Theorie der partiellen Differentialgleichungen erster Ordnung“ von 1892 auf.

    Porträt von Emmy Noether, vor 1910

    Emmy Noether

    Emmy Noether (1882–1935) gilt als eine der wichtigsten Mathematikerinnen des 20. Jahrhunderts und ist eine Schlüsselfigur der modernen Algebra.

    Drei Bände der von ihr mitherausgegebenen Gesammelte mathematische Werke wurden bereits digitalisiert:
    Band 1 von 1930

    Band 2 von 1931
    Band 3 von 1932

    Ihre Dissertation aus dem Jahr 1908Über die Bildung des Formensystems der ternären biquadratischen Form“ ist ebenfalls zu finden.

    Susan Stebbing

    Susan Stebbing (1885–1943) war eine britische Philosophin. Sie war die Gründerin der Zeitschrift „Analysis“. Ihr Buch von 1939 „Thinking to some purpose” haben wir herausgesucht und digitalisiert.

    Sie wollen mehr über interessante Digitalisate der Retrodigitalisierung der TIB erfahren? Dann folgen Sie uns einfach auf Mastoton sowie Instagram und schauen Sie regelmäßig hier im TIB-Blog vorbei! Hier planen wir monatlich entweder zu einem bestimmten Thema oder einfach besonders spannende Werke, die wir online gestellt haben, vorzustellen.

    Retrodigitalisierung – vom Papier zum Pixel

    Viele wissenschaftliche Schätze schlummern in den analogen Beständen der TIB – meist schwer zugänglich und oft nur vor Ort nutzbar. Dank Retrodigitalisierung ändert sich das: Durch die Digitalisierung werden gedruckte Bücher, Karten und weitere analoge Materialien gesichert und historisches Wissen sichtbar, durchsuchbar und nachhaltig verfügbar gemacht.

    In der Blogreihe „Retrodigitalisierung – vom Papier zum Pixel“ zeigt die TIB Schätze, die nun nicht mehr nur in den Regalen der Bibliothek stehen, sondern online von überall auf der Welt angesehen werden können. Auch einen Blick hinter die Kulissen der Retrodigitalisierung wird es geben: Wie werden aus analogen Beständen digitale Ressourcen? Welche technischen und rechtlichen Herausforderungen gibt es dabei? Von der Auswahl der Materialien über Scanprozesse bis zur Langzeitarchivierung – die Reihe beleuchtet Retrodigitalisierung als eine wichtige Aufgabe moderner Bibliotheken.

    #Logik #LizenzCCBY40INT #Retrodigitalisierung
  42. 2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

    In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

    de.wikipedia.org/wiki/OL_(Cart

  43. 2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

    In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

    de.wikipedia.org/wiki/OL_(Cart

  44. 2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

    In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

    de.wikipedia.org/wiki/OL_(Cart

  45. 2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

    In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

    de.wikipedia.org/wiki/OL_(Cart

  46. 2/ Das ist sein Wikipedia-Eintrag. Das sind so hingekritzelte Strichmännchen und -frauchen. Die Mütter vom Kollwitzplatz sind großartig.

    In der #zitty gab es mal eine Seite, auf der #Logik erklärt wurde.

    de.wikipedia.org/wiki/OL_(Cart