Wenn man vor Ort nur wenig versteht (was in mathematischen Vorlesungen üblich ist) und im Internet ein Skriptum bereitgestellt wird (was ebenfalls üblich ist), kann man sich im Prinzip sogar die Vorlesungen schenken. Ich hab mein Mathe-Diplomstudium sehr gut abgeschlossen, obwohl ich in manchen Veranstaltungen nur zur Prüfung da war. Auch wenn es soziophob klingen mag: Mathematik lernt man am besten zuhause, alleine und in Ruhe.
ZFC ist nicht die Grundlage allen mathematischen Denkens, sondern nur ein Axiomensystem der Logik, tausende Jahre jünger als der Satz des Pythagoras.
Für mathematische Beweise ist die elementare Aussagenlogik völlig ausreichend; warum soll man die Studenten mathematischer Anfängervorlesungen gleich mit so einem theoretischen Riesenapparat wie ZFC erschlagen, welcher - wie wir dank Gödel wissen - genau so unvollständig (oder gar widersprüchlich...?!) ist wie all die anderen Axiomensysteme auch?
Zudem ist das Medium Tafel total genial, da man nur so das nötige Tempo hat, um einem Beweis überhaupt folgen zu können. Und so können auch, wie man es noch aus der Schule kennt, schnell noch Beispiele etc. angeschrieben werden....
@JeffreyMortenson Jeder Student hat sein eigenes Tempo, die Tafel schreibt ein Einheits-Tempo vor. Die Tafel hat sich noch nie über Fehler in Beweisen beschwert, Theorembeweiser schon. Deshalb finde ich, dass ein Screencast auf einem Tablet-PC (mit Tastatur) zusammen mit Mizar, Isabelle oder Coq viel mehr wert ist als eine Vorlesung. Außerdem muss man den Screencast nicht jedes Jahr neu machen, der Dozent hat dadurch mehr Zeit für Forschung. Wie kann man da die Tafel vorziehen?
@alf42red Ich studiere in Münster im 3. Semester Mathematik mit Nebenfach Informatik. Und ich muss sagen, dass du da ziemlichen Blödsinn erzählst. Zunächst einmal ist Grundlagen der Logik eine PFLICHT-Veranstaltung. Dort wird alles über die ZFC Axiome hergeleitet... Des Weiteren kann man noch Logik1, Logik 2 etc. wählen oder wenn man so geil auf Logik ist, selbst Logik als Nebenfach nehmen.
@JeffreyMortenson Da hab ich wohl etwas übertrieben. Ich kannte jemanden, bei dem das anders klang, bin aber selbst nicht an der Uni Münster (sondern TUM). Die message war: Wenn du formale Logik willst, musst du Info studieren und an die richtigen Lehrstühle, dort wo unter dem Decknamen "formale Spezifikationen" Theorembeweiser benutzt werden. Bei wem war das denn und welchen Theorembeweiser habt ihr benutzt? Wie habt ihr induktive Datentypen in ZFC konstruiert? Gibts da ein Skript?
@alf42red Bin TUMler und hab die ersten Wochen in LinAlg mit ZFC verbracht, natürlich nicht sehr tiefgehend, aber alle wichtigen Axiome besprochen und auch wichtige Folgerungen (z. B. folgt aus dem Aussonderungsaxiom dass die leere Menge existiert falls eine Menge existiert, was durch das Unendlichkeitsaxiom garantiert ist), also meiner Meinung nach für das erste Semester schon gut genug ;-)
Die Tafel ist ein schlechtes Medium. Dort entsteht langsam, was im Buch schon da ist. Das Mathe-Studium ist noch auf dem Stand des 19. Jh. und Hilbert, Gentzen, John Harrison und Larry Paulson werden völlig ignoriert.
Gute Mathematik findet nur in formalen Theorembeweisern am Computer statt, davon sieht ein Mathe-Student nie etwas.
Mathe-Profs erwarten das Lernen durch nachäffen, um die Vorgehensweisen bei der Erstellung von Beweisen nicht erklären zu müssen.
@HeySinus Wenn ich eine Zeitmaschine hätte, würde ich sagen: Studier in 50 Jahren Mathe, dann ist diese Generation definitiv in Rente.
Ohne Zeitmaschine:
Das Informatik-Studium scheint einfacher zu sein, ich kenne jemanden, der hat von Mathe auf Info gewechselt, weil ihn der alte Mathe-Kram nicht mehr interessiert hat. Wenn das Studium einfacher ist, hat man mehr Zeit für das Selbststudium. Formale Logik kommt auch eher in Info als in Mathe.
Ich bin auf den Ruf der Mathe-Profs echt reingefallen!
@alf42red Was ist denn daran schlecht auf die grundlegenden Sachen der Mathematik einzugehen? Auch wenn man das später vielleicht nicht braucht ist das doch dennoch interessant =) Oder was meinst du genau damit dass das Studium veraltet ist?
@HeySinus Genau das machen sie eben NICHT! Sie gehen niemals auf die Grundlagen ein in Mathe.
In Info, an den richtigen Lehrstühlen, wirst du höherstufige Logik erleben,
in Mathe nicht einmal die der ersten Stufe. ZFC wird wenn überhaupt, dann nur am Rande erwähnt; vielleicht das Auswahl-Axiom, aber was hilfts nur das zu betrachten?
Außerdem sind die Lehr-Methoden veraltet. Anstelle von Beweis-Übungen am PC, was an der TUM in Info in einer Vorlesung gemacht wird, kommt nur Tafel und Papier.
@HeySinus Wenn du eine Alternative zu Mathe suchst, lass dich bloß nicht von dem Namen Wirtschaftsmathe täuschen! Ich selbst studiere WiMa in Bielefeld und besuche zumindest bis zum Bachelor annähernd die selben Mathematikveranstaltungen wie ein Mathematikstudent. Die ersten Unterschiede sind im 4-5 Semester zu finden, allerdings hier auch nicht in den Veranstaltungen selber, sondern in den Auswahlmöglichkeiten.Nähere Informationen findest du immer über die jeweiligen Uniwersitäten
tolles video- danke! ich bin Mathematikerin und Professorin für Statistik an der FH Hannover - wir brauche in D'land dringend mehr Ausbildungstätten, die Menschen für dieses Fach begeistern!!
Eine Logik die hinter Mathematik steckt ist, dass es Existenzen zerstören kann. In meiner Klasse werden die Schüler in Massen raus geworfen und bekommen einen Besen vom Arbeitsmarktservice in die Hand gedrückt.
Wenn man vor Ort nur wenig versteht (was in mathematischen Vorlesungen üblich ist) und im Internet ein Skriptum bereitgestellt wird (was ebenfalls üblich ist), kann man sich im Prinzip sogar die Vorlesungen schenken. Ich hab mein Mathe-Diplomstudium sehr gut abgeschlossen, obwohl ich in manchen Veranstaltungen nur zur Prüfung da war. Auch wenn es soziophob klingen mag: Mathematik lernt man am besten zuhause, alleine und in Ruhe.
NoSpeechForTheDumb 1 week ago
Hochachtung vor jedem Mathematikprof!
MrSanctuary86 1 month ago
Ich versteh nur Bahnhof von euren Kommentaren...
Das Video ist ganz in Ordnung, keine Frage...
und Pia ist echt perfekt für Werbung geeignet ;)
Aber die Kommentare hier geben dem Video einen ziemlich herben Beigeschmack.
Ich meine, Ihr wollt doch neue Studenten anwerben, nicht abschrecken, oder?
Bin im ersten Semester Informatik an der TU Ilmenau,
aber SO bekommt ihr bestimmt keine Interessenten geworben...
Jedenfalls bin ich jett froh doch Info gewählt zu haben :)
Tornadotuan 3 months ago 3
ZFC ist nicht die Grundlage allen mathematischen Denkens, sondern nur ein Axiomensystem der Logik, tausende Jahre jünger als der Satz des Pythagoras.
Für mathematische Beweise ist die elementare Aussagenlogik völlig ausreichend; warum soll man die Studenten mathematischer Anfängervorlesungen gleich mit so einem theoretischen Riesenapparat wie ZFC erschlagen, welcher - wie wir dank Gödel wissen - genau so unvollständig (oder gar widersprüchlich...?!) ist wie all die anderen Axiomensysteme auch?
NoSpeechForTheDumb 3 months ago
Zudem ist das Medium Tafel total genial, da man nur so das nötige Tempo hat, um einem Beweis überhaupt folgen zu können. Und so können auch, wie man es noch aus der Schule kennt, schnell noch Beispiele etc. angeschrieben werden....
JeffreyMortenson 4 months ago
@JeffreyMortenson Jeder Student hat sein eigenes Tempo, die Tafel schreibt ein Einheits-Tempo vor. Die Tafel hat sich noch nie über Fehler in Beweisen beschwert, Theorembeweiser schon. Deshalb finde ich, dass ein Screencast auf einem Tablet-PC (mit Tastatur) zusammen mit Mizar, Isabelle oder Coq viel mehr wert ist als eine Vorlesung. Außerdem muss man den Screencast nicht jedes Jahr neu machen, der Dozent hat dadurch mehr Zeit für Forschung. Wie kann man da die Tafel vorziehen?
alf42red 4 months ago
@alf42red Ich studiere in Münster im 3. Semester Mathematik mit Nebenfach Informatik. Und ich muss sagen, dass du da ziemlichen Blödsinn erzählst. Zunächst einmal ist Grundlagen der Logik eine PFLICHT-Veranstaltung. Dort wird alles über die ZFC Axiome hergeleitet... Des Weiteren kann man noch Logik1, Logik 2 etc. wählen oder wenn man so geil auf Logik ist, selbst Logik als Nebenfach nehmen.
JeffreyMortenson 4 months ago
@JeffreyMortenson Da hab ich wohl etwas übertrieben. Ich kannte jemanden, bei dem das anders klang, bin aber selbst nicht an der Uni Münster (sondern TUM). Die message war: Wenn du formale Logik willst, musst du Info studieren und an die richtigen Lehrstühle, dort wo unter dem Decknamen "formale Spezifikationen" Theorembeweiser benutzt werden. Bei wem war das denn und welchen Theorembeweiser habt ihr benutzt? Wie habt ihr induktive Datentypen in ZFC konstruiert? Gibts da ein Skript?
alf42red 4 months ago
@alf42red Bin TUMler und hab die ersten Wochen in LinAlg mit ZFC verbracht, natürlich nicht sehr tiefgehend, aber alle wichtigen Axiome besprochen und auch wichtige Folgerungen (z. B. folgt aus dem Aussonderungsaxiom dass die leere Menge existiert falls eine Menge existiert, was durch das Unendlichkeitsaxiom garantiert ist), also meiner Meinung nach für das erste Semester schon gut genug ;-)
loottimo 1 month ago in playlist More videos from wwumuenster
Die Tafel ist ein schlechtes Medium. Dort entsteht langsam, was im Buch schon da ist. Das Mathe-Studium ist noch auf dem Stand des 19. Jh. und Hilbert, Gentzen, John Harrison und Larry Paulson werden völlig ignoriert.
Gute Mathematik findet nur in formalen Theorembeweisern am Computer statt, davon sieht ein Mathe-Student nie etwas.
Mathe-Profs erwarten das Lernen durch nachäffen, um die Vorgehensweisen bei der Erstellung von Beweisen nicht erklären zu müssen.
Tableau-Beweiser kennen die nicht.
alf42red 4 months ago
@alf42red Was ist eine gute Alternative? Wirtschaftsmathe?
HeySinus 4 months ago
@HeySinus Wenn ich eine Zeitmaschine hätte, würde ich sagen: Studier in 50 Jahren Mathe, dann ist diese Generation definitiv in Rente.
Ohne Zeitmaschine:
Das Informatik-Studium scheint einfacher zu sein, ich kenne jemanden, der hat von Mathe auf Info gewechselt, weil ihn der alte Mathe-Kram nicht mehr interessiert hat. Wenn das Studium einfacher ist, hat man mehr Zeit für das Selbststudium. Formale Logik kommt auch eher in Info als in Mathe.
Ich bin auf den Ruf der Mathe-Profs echt reingefallen!
alf42red 4 months ago
@alf42red Was ist denn daran schlecht auf die grundlegenden Sachen der Mathematik einzugehen? Auch wenn man das später vielleicht nicht braucht ist das doch dennoch interessant =) Oder was meinst du genau damit dass das Studium veraltet ist?
HeySinus 4 months ago
@HeySinus Genau das machen sie eben NICHT! Sie gehen niemals auf die Grundlagen ein in Mathe.
In Info, an den richtigen Lehrstühlen, wirst du höherstufige Logik erleben,
in Mathe nicht einmal die der ersten Stufe. ZFC wird wenn überhaupt, dann nur am Rande erwähnt; vielleicht das Auswahl-Axiom, aber was hilfts nur das zu betrachten?
Außerdem sind die Lehr-Methoden veraltet. Anstelle von Beweis-Übungen am PC, was an der TUM in Info in einer Vorlesung gemacht wird, kommt nur Tafel und Papier.
alf42red 4 months ago
@alf42red
Es gibt gerade in Mathe nichts effektiveres als die "veraltete" Tafelvorlesung. Computershows bringen da wenig, an der Tafel lern ich mehr
hollebKN 1 week ago
@HeySinus Wenn du eine Alternative zu Mathe suchst, lass dich bloß nicht von dem Namen Wirtschaftsmathe täuschen! Ich selbst studiere WiMa in Bielefeld und besuche zumindest bis zum Bachelor annähernd die selben Mathematikveranstaltungen wie ein Mathematikstudent. Die ersten Unterschiede sind im 4-5 Semester zu finden, allerdings hier auch nicht in den Veranstaltungen selber, sondern in den Auswahlmöglichkeiten.Nähere Informationen findest du immer über die jeweiligen Uniwersitäten
mial1006 2 months ago
Mathe Studenten sind krank, im positiven Sinne aber. :D
ThePARTIZANSKI 4 months ago
oh ich will mathe studieren, lasst mich mit fachabi auf die uni -.-
Viiolation 5 months ago
"Die Wurzeln der Weisheit sind sehr bitter, die Früchte aber sind süß" ----ARISTOTELES
makedonas86 5 months ago 9
@KiraKlenke: Stehst du mit Achim Klenke in näherer Verbindung? Ich frage, da ich das Buch: W-Theorie von ihm besitze...:-)
IPSCSportShooter 6 months ago
tolles video- danke! ich bin Mathematikerin und Professorin für Statistik an der FH Hannover - wir brauche in D'land dringend mehr Ausbildungstätten, die Menschen für dieses Fach begeistern!!
KiraKlenke 6 months ago
@KiraKlenke haha statistik finde ich wirklich das langweiligste der ganzen mathematik..aber jeder das seine nichtwar :)
deyomash 5 months ago
Eine Logik die hinter Mathematik steckt ist, dass es Existenzen zerstören kann. In meiner Klasse werden die Schüler in Massen raus geworfen und bekommen einen Besen vom Arbeitsmarktservice in die Hand gedrückt.
Mylo4501 7 months ago
Ich bin ein Christopher-Deninger-Fan, seit er in einer Vorlesung einen Zeigestock zersägt hat um die Sonnenblenden herunterzulassen.
pjaquet 1 year ago 11