Mathematik/Informatik
LEAN – der Beweis stimmt!

Teilnehmer:innen
Chiara Cimino (17)
Christian Krause (16)
Schule/Institution/Betrieb
Otto-Hahn-Gymnasium, Tuttlingen; Gymnasium Ochsenhausen
Projektbetreuung
Noa Bihlmaier, Helmut Ruf
Partnerinstitution
Schülerforschungszentrum Südwürttemberg (SFZ), Standort Tuttlingen
Region
Donau-Hegau
Jahr
2024
Sparte
Jugend forscht
Die Forschung in der Mathematik ist eine höchst aktive Welt. Das Herzstück dabei sind die mathematischen Sätze und deren Beweise. Diese Beweise werden aber immer komplizierter und auch die Kontrolle auf Korrektheit ist schwierig und fehleranfällig. Da die Verifikation eines Beweises ein nur bedingt kreativer Prozess ist, kann er in sogenannten Beweisassistenten formalisiert werden. Lean in der Version 3 und 4 ist einer der modernsten und leistungsfähigsten. Dies wurde unter anderem durch die Verifikation eines Satzes des deutschen Fields-Medaillenträger Peter Scholze sowie an einem Beweis von Terence Tao, ebenfalls Fields-Medaillenträger, nachgewiesen. In unserem Projekt haben wir uns intensiv mit dem auf Typentheorie basierenden Lean 4 beschäftigt und eigene Definitionen und Beweise „geleant“. Unser großes Ziel ist es am Ende das Paradoxon von Banach-Tarski, welches noch nicht geleant ist, zu leanen und damit einen Beitrag zur Bibliothek der mit Lean verifizierten Sätze zu leisten.
1. Preis Regionalwettbewerb Donau-Hegau
-
-
Wer kann mitmachen?
Am Wettbewerb können Kinder/Jugendliche bis 21 Jahre teilnehmen. Jüngere Schülerinnen/Schüler müssen im Anmeldejahr mind. die 4. Klasse besuchen. Studierende dürfen sich höchstens im ersten Studienjahr befinden (Stichtag 31. Dezember). Zugelassen sind sowohl Einzelpersonen als auch Zweier- oder Dreierteams.Projektanmeldung
Bei Jugend forscht gibt es keine vorgegebenen Aufgaben. Das Forschungsthema wird frei gewählt. Wichtig ist, dass sich die Fragestellung einem der sieben Fachgebiete zuordnen lässt: Arbeitswelt, Biologie, Chemie, Geo- und Raumwissenschaften, Mathematik/Informatik, Physik sowie Technik.Detailinfos zur Teilnahme hier!
-
Anmeldeschluss
30. 11.2024, 23:59 Uhr
Abgabe für die schriftlichen Ausarbeitungen
für die Regionalwettbewerbe: 12.01.2025Regionalwettbewerbe
Die RW finden zw. 13. und 28.02.2025 statt.Landeswettbewerbe
Jugend forscht: 03.-05.04.2025 in Heilbronn
Jugend forscht junior: 10.+11.04.2025 in BalingenBundeswettbewerb
29.05.-01.06.2025 in Hamburg