Logic Geometry, Information@LGcommaI

Professional mathematician. Doctorate in (a subarea of) mathematics from a German university.

 Germany
Joined July 2018
84,632 Photos and videos
»..diligite homines, interficite errores, sine superbia de veritate praesumite, sine saevitia pro veritate certate, orate pro eis quos redarguitis atque convincitis.« St. #Augustine(354–430), Contra Litteras Petiliani, Book 1, Chapter 29 #Christianity #ChristianCulture #Europe
27
43
221
#ObituaryForParsons-1 [Geschichte:History #KreiselObituaryForGoedel Logic Mathematics New Philosophy] Philosophia Mathematica 33 (3) (2025) Charles Parsons April 13, 1933 – April 19, 2024 Emily Carson Øystein Linnebo Gila Sher Wilfried Sieg Mark van Atten
1
113
Logic Geometry, Information retweeted
Logic Geometry, Information@LGcommaI
May 10
'Geist ist das Subjektive, das objektiv wird.' Jaspers--Rossmann
2
3
4
598
'Geist ist das Subjektive, das objektiv wird.' Jaspers--Rossmann
2
3
4
598
Logic Geometry, Information@LGcommaI
7h
"Geistig ist das Objektive, das im Subjekt existentiell wird, das vom Subjekt assimiliert und durch dieses wirkend ist. Der Geist manifestiert sich nur in menschlichen Persönlichkeiten und ihren Werken ..Taten..Gedanken.." Karl Jaspers: Die Idee der Universität (1923)
32
"Geistig ist das Objektive, das im Subjekt existentiell wird, das vom Subjekt assimiliert und durch dieses wirkend ist. Der Geist manifestiert sich nur in menschlichen Persönlichkeiten und ihren Werken ..Taten..Gedanken.." Karl Jaspers: Die Idee der Universität (1923)
3
4
6
300
Logic Geometry, Information@LGcommaI
May 10
'Geist ist das Subjektive, das objektiv wird.' Jaspers--Rossmann
42
Logic Geometry, Information@LGcommaI
Apr 23
Geist, Existenz, Vernunft. Geist ist das Vermögen der Ideen. Existenz ist der Ernst des Unbedingten in bezug auf Transzendenz. Vernunft ist die Alloffenheit des Wesens." Carl Jaspers, Die idee der Universität
4
"Der Geist manifestiert sich nur in..Persönlichkeiten und ihren Werken (Taten, Gedanken, geschaffenen Gestalten). Daher will alles Geistige auf Persönlichkeiten bezogen, nicht als rein Objektives genommen sein. Das rein Objektive ist ein Isoliertes und darum ungeistig." Jaspers
Logic Geometry, Information@LGcommaI
Apr 23
Geist, Existenz, Vernunft. Geist ist das Vermögen der Ideen. Existenz ist der Ernst des Unbedingten in bezug auf Transzendenz. Vernunft ist die Alloffenheit des Wesens." Carl Jaspers, Die idee der Universität
1
119
Logic Geometry, Information@LGcommaI
7h
"Geistig ist das Objektive, das im Subjekt existentiell wird, das vom Subjekt assimiliert und durch dieses wirkend ist. Der Geist manifestiert sich nur in menschlichen Persönlichkeiten und ihren Werken ..Taten..Gedanken.." Karl Jaspers: Die Idee der Universität (1923)
33
Logic Geometry, Information retweeted
Logic Geometry, Information@LGcommaI
May 24
"Die Persönlichkeit..ist beständig im Werden. Der Geist verschwindet, wenn der Prozess still steht. Diese Synthese in einem Prozesse,.. vollendet immer im Werden.., ist entscheidend. ..Geist ist weder etwas Objektives noch etwas Subjektives, sondern beides." Karl Jaspers 1923
2
1
315
Logic Geometry, Information retweeted
Institut für Textkritik@textkritik
5h
Radierer unabdingbar. Reclam setzt die Verse so ökonomisch, dass man die Gliederung schlecht erkennen kann. Pindar, 8. Nemeische Ode. Basiert auf 17er-Kalkül (wie Hölderlins »Mnemosyne«). 3 × (5+5+7). Vorbereitung der Vorlesung ›Dichtung und Sprachkritik‹.
1
2
10
543
28
#KanckosWoltzenlogelPaleo-1 [#BenzmüllerWoltzenlogelPaleo #Logic #MathematicalTheology #New(ish) #Theology] "Studia Logica 105, pp. 553-586 (2017) Variants of #Gödel’s Ontological Proof in a Natural Deduction Calculus Annika Kanckos B. Woltzenlogel Paleo" M.t. 'Varianten >
3
1
6
more replies
Relevant context:
Logic Geometry, Information@LGcommaI
1 May 2023
#OppenheimerZalta-1 [#Benzmueller2020 #BenzmüllerWoltzenlogelPaleo #Formalization #Logic #MathematicalTheology] Australasian Journal of #Philosophy 89(2), 333–349 (2011) A Computationally-discovered simplification of the ontological argument Paul E. Oppenheimer Edward N. Zalta
131
Relevant:
Oxford Mathematics@OxUniMaths
Sep 27
Among his many interests, Kurt Gödel wrote a privately circulated formal proof for the existence of God using modal logic. But it was an earlier work from 1931 that upended mathematics and logic and which still applies today. Here's Tibo to explain.
34
#OppenheimerZalta-1 [#Benzmueller2020 #BenzmüllerWoltzenlogelPaleo #Formalization #Logic #MathematicalTheology] Australasian Journal of #Philosophy 89(2), 333–349 (2011) A Computationally-discovered simplification of the ontological argument Paul E. Oppenheimer Edward N. Zalta
1
426
Relevant:
Oxford Mathematics@OxUniMaths
Sep 27
Among his many interests, Kurt Gödel wrote a privately circulated formal proof for the existence of God using modal logic. But it was an earlier work from 1931 that upended mathematics and logic and which still applies today. Here's Tibo to explain.
32
#Benzmueller2020-1 [#Logic] "Proceedings of 17th International Conference on Principles of #KnowledgeRepresentation and Reasoning (KR 2020) A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel’s Ontological Argument >
1
268
more replies
Relevant context: Chapter 11 in Stephen B. Tipton The Ground, Method, and Goal of Amandus Polanus’ (1561–1610) Doctrine of God Vandenhoeck & Ruprecht (2022) ISBN 978-3-525-50187-0
131
Relevant:
Oxford Mathematics@OxUniMaths
Sep 27
Among his many interests, Kurt Gödel wrote a privately circulated formal proof for the existence of God using modal logic. But it was an earlier work from 1931 that upended mathematics and logic and which still applies today. Here's Tibo to explain.
39
"Fast allen Bildungsidealen ist gemeinsam der Sinn für - Disziplinierung - Form - Selbstbeherrschung" Karl Jaspers: Die Idee der Universität Verlag von Julius Springer (1923)
1
1
7
247
Logic Geometry, Information retweeted
Sarah Weinhold@sarahwillcry
17h
Replying to @LGcommaI
This is why I never rely on AI for anything. If you provide a compelling enough argument, it will almost always concede. I know a few software engineers from school, so I might ask them more about this.
1
4
122
4
20
655
Logic Geometry, Information retweeted
Renan
@bleakflowerz
21h
Replying to @LGcommaI
I would add that its “intelligence” has been saturated for a while now. It’s a good brute‑forcing tool, useful for tasks I’m terrible at, but it’s very far from replacing our judgment in work and life.
1
3
76
In mathematical logic, the AI that I happen to have access to remains unimpressive. Day in and day out I experience how it it is NOT able to think logically. The 'arguments' it spits out are hard to follows, full of flaws, and if confronted (with reasons), the model concedes it.
4
1
11
435
more replies
☝️👇
1
3
72
(Note that here, the 'AI' continues to claim that its alleged "existence theorem" is true even though I can assure you it did NOT prove it in the conversation I had with it. Still no sense of, let alone respect for, truth.)
1
3
63
Load more