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 Rahmen eines unserer Kolloquiums 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)
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.
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.
