110. Ernst-Schröder-Kolloquium
Fr, 13. Juni 2025, 16 Uhr s.t.
Beweise schürfen
Wir freuen uns sehr, Prof. Dr. Ulrich Kohlenbach als Vortragenden
im Ernst-Schröder-Kolloquium begrüßen zu dürfen.
Prof. Kohlenbach ist Inhaber des Lehrstuhls für
Mathematische Logik an der TU Darmstadt und Nachfolger von
Prof. Rudolf Wille. Für seine herausragenden Beiträge zur
mathematischen Logik und insbesondere zum
Schürfen von Beweisen (proof mining)
wurde ihm vor kurzem der Ernst-Zermelo-Ring verliehen –
die höchste Auszeichnung der Deutschen Vereinigung für
Mathematische Logik und Grundlagenforschung der Exakten
Wissenschaften .
In seinem Vortrag wird Prof. Kohlenbach zentrale Aspekte
seiner Forschung vorstellen.
Vortrag
Prof. Dr. Ulrich Kohlenbach
Arbeitsgruppe Logik, FB Mathematik, TU Darmstadt
Titel und Inhaltsangabe folgen
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
110. Ernst-Schröder-Seminar
Sa, 14. Juni 2025, 10 Uhr s.t.
Immanuel Kant, Zum ewigen Frieden ,
ein philosophischer Entwurf
Dr. phil. Veronika Schlüter
Darmstadt
Diese schmale Schrift Immanuel Kants erscheint 1795 als
Spätwerk und subsummiert die Erkenntnisse seiner großen Kritiken
mit dem Ziel, einen Weg für einen möglichen ewigen Frieden
zu finden. Sie stellt sittliche Forderungen, basierend auf der
Idee der Freiheit, an den Menschen als vernünftigem Wesen.
Damit handelt es sich auch um eine Erziehungsaufgabe.
Die Schrift richtet sich von Beginn an nicht an Philosophen,
sondern an alle Menschen, deren Vernunft soweit entwickelt ist,
dass sie den Krieg schlechterdings verdammen, den Friedenszustand
dagegen zur Pflicht machen.
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
111. Ernst-Schröder-Kolloquium
Fr, 27. Juni 2025, 16 Uhr s.t.
Typicality
Radim Belohlavek
Radim Belohlavek is professor of computer science at
Palacky University Olomouc. Earlier in his career he was
research fellow and, from 2007 to 2009, tenured professor at the
State University of New York.
His academic interests include logic, discrete mathematics,
artificial intelligence, data analysis, and uncertainty and
information.
Belohlavek has authored or co-authored four books published by
Kluwer, Springer, the MIT Press, and the Oxford University Press,
and over 200 papers in conference proceedings and journals.
He served as editor-in-chief of the Int. J. General Systems
in 2015-2023, and is on the editorial boards of the
J. Computer and System Sciences, Annals of Mathematics and
Artificial Intelligence, Fuzzy Sets and Systems, and others.
R. Belohlavek is married and has four children.
His hobbies include literature and sports.
Wir freuen uns, Prof. Dr. Radim Belohlávek von der
Palacký-Universität Olomouc zu einem Vortrag in einem unserer
Kolloquien begrüßen zu dürfen.
Prof. Belohlávek ist ein international anerkannter Experte in
den Bereichen Logik, diskrete Mathematik, Künstliche Intelligenz
und Datenanalyse.
In seinem Vortrag wird er aktuelle Forschungsergebnisse
präsentieren und Einblicke in seine jüngsten Arbeiten geben.
Interactions between the psychology of concepts
and conceptual exploration of data
Prof. Dr. Radim Belohlavek
Department of Computer Science,
Both the psychology of concepts and the conceptual exploration
of data have developed a rich body of knowledge, including
a repertoire of theories and tools.
Naturally, these two areas have different aims.
We argue that, despite their focus on different phenomena,
proper interactions between the psychology of concepts and the
conceptual exploration of data can benefit both areas.
To illustrate this, we will provide examples from recent work
involving human categorization, typicality, similarity,
and factor analysis, and will present the results of experiments
with the largest psychological data built around certain
common language concepts.
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
111. Ernst-Schröder-Seminar
Sa, 28. Juni 2025, 10 Uhr s.t.
Typicality: Revisiting classic theories of a fundamental psychological phenomenon
Prof. Dr. Radim Belohlavek
Department of Computer Science,
The typicality of objects in human concepts is one of the
most studied phenomena in the psychology of concepts.
Its importance derives from the cognitive significance of
typicality: Typical objects are learned faster, recognized more
quickly, listed first.
In this talk, we revisit Eleanor Rosch's family-resemblance
theory of typicality, the most influential theory originating in
the 1970s, as well as Rosch & Mervis's formula for computing
typicality. We demonstrate mathematically that this formula is
a particular instance of a more general formula that incorporates
a measure of similarity between objects.
Using experiments with a large psychological dataset on human
categories, we show that Rosch and Mervis's formula is a very good
instance of the general formula, as it aligns well with human
typicality judgments. We then propose a substantially different
formula for computing typicality, which is interesting for
two reasons.
First, it results in a higher agreement with human judgments
of typicality.
Second, it suggests a new psychological theory of typicality
that differs from Rosch's family-resemblance theory.
Representing Concept Lattices with
Euler Diagrams
Ms. Dr. Uta Priss
Ostfalia University of Applied Sciences
(Wolfenbüttel)
In Formal Concept Analysis, concept lattices are usually
graphically represented as line diagrams. For inexperienced users,
however, line diagrams may be more difficult to read than
Euler diagrams which visualize sets and their intersections using
closed curves in a similar manner to Venn diagrams. Unfortunately,
drawing Euler diagrams can be difficult, and in some cases
even impossible, unless Euler diagrams are extended with other
graphical features.
In this talk, I will discuss the advantages and disadvantages
of Euler diagrams compared to line diagrams (including nested
line diagrams), as well as extensions, algorithms, and methods
for drawing Euler diagrams of concept lattices.
Technische Universität Darmstadt,
(Mathe-Gebäude, S2|15-244)
Sommerfest
Sa, 28. Juni 2025, 16 Uhr
Sommerfest
Wie in jedem Jahr möchten wir den Sommer nutzen um mit Euch zu
feiern – in geselliger Runde, mit guten Gesprächen, Speis und Trank
in entspannter Atmosphäre.
Alle Mitglieder, Freundinnen und Freunde des Zentrums sind
herzlich eingeladen – auch (Ehe-)Partner und Familienangehörige sind
wie immer willkommen.
Wir treffen uns in einem Ausflugslokal in der Umgebung –
bei hoffentlich schönem Wetter mit der Möglichkeit, draußen zu sitzen.
Für die Auswahl an Speisen und Getränken sorgt das Lokal.
Wir freuen uns auf einen heiteren Sommerabend mit Ihnen und Euch!
Studierendenwerk
(K)ein Zimmer fürs Studium!
Studierende brauchen ein Dach über dem Kopf — ein Zimmer mit
Bett und Schreibtisch. Doch in Uni-Städten ist bezahlbarer Wohnraum
Mangelware!
Die Studierendenwerke bauen Wohnheime, doch das reicht nicht aus.
Deshalb wird dringend privater Wohnraum gesucht!
Haben Sie ein Zimmer zu vermieten — bezahlbar für Studierende?
Dann helfen Sie bitte mit!
Das Studierendenwerk Darmstadt bietet eine Hotline und
weitere Infos an:
Auch andere Uni-Städte haben ähnliche Angebote.
