Die Mathematik wird immer komplexer. Computerprogramme wie Lean und KI sollen künftig helfen, Beweise zu prüfen und Fehler zu minimieren. Nebenbei fördern sie auch das Teamwork.
#Formalisierung #KI #Lean #Mathematik #SpektrumDerWissenschaft #SpektrumPodcast #SpektrumDerWissenschaftDerPodcast
Computer prüfen mit Programmen wie Lean schon heute Beweise, decken Fehler auf und könnten die Mathematik grundlegend verändern.
Wie blicken #Menschen, #Tiere und #KI auf die Welt? Ein Team um Prof. Dr. Ilka Diester von der #UniFreiburg hat eine Beschreibung interner #Weltmodelle entwickelt. Diese #Formalisierung hilft, besser zu verstehen, wie interne Weltmodelle entstehen und funktionieren.
An der interdisziplinären Publikation waren elf Freiburger Forschende aus vier Fakultäten beteiligt.
Deswegen die "Optik" - Sachen. Oder #Klimaschutz- / #Klimaanpassung. Da geht noch mehr als wir zZt denken.
Kann schon sein dass man der #Investorin nicht das #Recht nehmen kann #Bäume zu fällen, aber es durch "ortsübliche" Regelungen (& öffentlichen Druck) für sie deutlich unrentabler (& unangenehmer) machen kann.
Das Schöne an den Bäumen ist, dass sie ganz gut mobilisieren.
Aber politische/ vertragliche #Formalisierung ist wichtig, weil die #Mobilisierung nicht ewig halten wird.
#Digitalisierung führt immer zu einer Formalisierung – auch sozialer Organisationen.
Diese #Formalisierung steht jedoch im Widerspruch zu der in sozialen Organisationen dominierenden Informalität, die sozialen, personenbezogenen Dienstleistungen aufgrund ihrer Komplexität und Ambiguität inhärent ist.
Mehr dazu im neuen Beitrag on the #blog:
https://www.ideequadrat.org/digitalisierung-sozialer-organisationen-it-awareness/
Motor der WELT
kommerzieller
Versammlungs- oder Wohntreffpunkt MARKT
WIR sagen seit um 1000 Jahre Markttag
anderen ORTS war's anders
http://en.wikipedia.org/wiki/Market_square
Deutsche SICHTEN
spät DRAN ?
https://de.wikipedia.org/wiki/Marktpl%C3%A4tze_in_Deutschland#Entstehung_lokaler_M%C3%A4rkte
ANDERE sehen "Startdatum" um 10.000 vor 00 (Launch)
#FORMALISIERUNG per ORT in Europa & ANGRENZENT um 700-600 vor 00
Dritte: vor 5000 JAHREN
inklusive #Feilschen
http://de.wikipedia.org/wiki/Feilschen
Wohnort "Erfinder"
Seeland - Niederlande
Handwerk Glas
Motor der WELT
kommerzieller
Versammlungs- oder Wohntreffpunkt MARKT
WIR sagen seit um 1000 Jahre Markttag
anderen ORTS war's anders
http://en.wikipedia.org/wiki/Market_square
Deutsche SICHTEN
spät DRAN ?
https://de.wikipedia.org/wiki/Marktpl%C3%A4tze_in_Deutschland#Entstehung_lokaler_M%C3%A4rkte
ANDERE sehen "Startdatum" um 10.000 vor 00 (Launch)
#FORMALISIERUNG per ORT in Europa & ANGRENZENT um 700-600 vor 00
Dritte: vor 5000 JAHREN
inklusive #Feilschen
http://de.wikipedia.org/wiki/Feilschen
Wohnort "Erfinder"
Seeland - Niederlande
Name Lipperhey
Handwerk BRILLEN
http://de.wikipedia.org/wiki/Provinz_Zeeland#/media/Datei:1580_Zelandicarum_v_Deventer.jpg
Etrusker GEBIET einst
Bologna
EINST ein HIT Bologna PROZESS
na klar ist man STOLZ auf seine Geschichte (u.a. Etrusker)
IST DAS FOLGENDES ?
#Formalisierung
DENKE Mono ?
https://de.wikipedia.org/wiki/Formalisierung
Formalisierung - also AUFHEBUNG von "WILDER" Konkurrenz oder Konkurrierenden Modellen ?
Sternchen Blau/ Gelb/ Weiss
http://de.wikipedia.org/wiki/Bologna-Prozess
Education Bildung Prozess Reform
#Beginn der #Grundrechtsfähigkeit
#Grundrechtsmündig ist ein #Minderjähriger nur dann, wenn er die #erforderlichen #körperlichen und #geistigen #Fähigkeiten verfügt, um die #grundrechtliche #Freiheit #ausüben zu können
#Forderung nach #Kindergrundrechten setzt an #Formalisierung dessen an, was bislang durch #Auslegung #ermittelt wird
#Allgemeine #Grundrechtslehren; #Mündigkeit; #Grundrechtsmündigkeit; #Grundrechtsträger
#Zuteilung von #Lebenschancen als #Bezeichnung für #Verteilung von #Studienplätzen durch das #BVerfGE auch in 43, 291/ 314, 364;
#Teilhabeanspruch in einer #Situation von #Konkurrenz als #Hinweis auf die #Grenze von #Formalisierung und #Explikation der #Zuteilung von #Lebenschancen, weil die #Bürokratisierung als #Ersatzhandlung als #Auswahlmöglichkeit #vorhanden ist.
#Hinweis auf #BVerfGE 147, 253 Rn. 114, #Verfahrensgestaltung
#Zuteilung von #Lebenschancen: #Zuweisung von #Selbstverantwortung ist #Bedingung der #Möglichkeit #Ansprechbarkeit herzustellen, mit der #Einfordern von #Rechten #formalisiert und #bürokratisiert wird.
#Frage nach #Grenzen von #Formalisierung und #Explikation.
#Hinweis auf #BVerfGE 33, 303/346; #Parlamentsvorbehalt
Thorsten #Kingreen, #Stellungnahme als #Sachverständiger zum #Entwurf eines #Gesetzes zur #Priorisierung bei der #Schutzimpfung gegen #Corona
detektor.fm 
Universität Freiburg
BerlinFokus
Hendrik Epe
Sternwarte_info
Sozialwelten