Simple Science

Hochmoderne Wissenschaft einfach erklärt

Hochmoderne Wissenschaft einfach erklärt

Daniel Gratzer

Logik in der Informatik Homotopietypentheorie: Eine neue Perspektive auf Mengen

Entdeck, wie Homotopietheorie unser Verständnis von Mengen und Typen verändert.

2025-08-23T22:32:54+00:00 ― 7 min Lesedauer

Logik in der Informatik Einführung der gerichteten Univalenz in der Typentheorie

Ein neues Konzept, das unsere Sicht auf Typen in Mathe und Programmierung verändert.

2025-07-06T10:31:42+00:00 ― 7 min Lesedauer