Benutzer Diskussion:Lambda C
Metamath
[Quelltext bearbeiten]Ich kann die Bedeutung des Metamath-Projekts nicht wirklich einschätzen. Aber jedenfalls sollte es doch erstmal einen eigenen Artikel bekommen, bevor es hier in allen möglichen anderen Artikeln erwähnt wird.--S. K. Kwan (Diskussion) 15:36, 3. Mai 2017 (CEST)
- Ich habe das mal erledigt: https://de.wikipedia.org/wiki/Metamath Sollte die Seite gesichtet werden, werde ich die Verweise in den anderen Artikeln entsprechend auf die neue Seite verlinken. --Lambda (Diskussion) 19:27, 4. Mai 2017 (CEST)
- Ich zweifle dennoch daran, dass das in die Artikel Nicolas Bourbaki und Hilbertprogramm gehört. Bourbaki hatte zwar das Ziel, die Mathematik systematisch ausgehend von den Axiomen darzustellen, aber mit der Betonung auf "darstellen", und zwar immer noch für einen menschlichen Leser. Es ging ihnen nicht um eine formale, computerüberprüfbare Herleitung im Rahmen der Prädikatenlogik.
- Und auch das Hilbertsche Programm ist etwas anders gelagert. --Digamma (Diskussion) 21:34, 4. Mai 2017 (CEST)
- Der zentrale Punkt des Hilbertschen Programmes war die Mathematik auf konsistentes Axiomensystem zu stellen. Erwiesenermaßen ist dies für hinreichend mächtige formale Theorien nicht möglich und dies ist auch nicht das Ziel von Metamath. Dennoch steht Metamath in hilbertscher Tradition, insbesondere da Hilbert's Programm auch einen strengen Formalismus ("Game of Symbols") für die Behandlung mathematischer Beweise fordert. Deshalb sollte das durchaus im "Hilbertprogramm" Artikel Erwähnung finden. Bzgl. Bourbaki werde ich mich noch mal genauer einlesen, der Metamath Initiator sieht sich in jedem Fall in seiner Tradition. Eine Referenz in Principia Mathematica wäre allerdings nicht verkehrt. --Lambda (Diskussion) 23:06, 4. Mai 2017 (CEST)
anlässlich der Night of Science 2018, einer seit 2006 studentisch organisierten Veranstaltung an der Goethe-Universität Frankfurt am Main, möchten wir neben einem naturwissenschaftlichen Vortrag mit Bezug zu Wikidata auch die Möglichkeit zum Dialog mit interessierten Besuchern und Gewinnung potentieller Neuautoren an einem Community-Stand nutzen. Die zu erwartenden ca. 7.000–10.000 Besuchenden sind sowohl interessierte Schüler, vor allem Abiturienten, Studierende und Wissenschaftler aller Fachbereiche sowie interessierte Anwohner und Bürger. Es gibt ebenfalls die Möglichkeit, Artikel zu anwesenden Wissenschaftlern und Instituten am Campus zu vervollständigen und zu bebildern, dazu gibt es Arbeitslisten.
Es wird ca. 70 Vorträge aus den Fachrichtungen Biochemie, Biophysik, Biowissenschaften, Chemie, Geowissenschaften/Meteorologie, Neurowissenschaften, Immunologie, Informatik, Mathematik, Medizin, Pharmazie, Physik und Psychologie geben.
Die Night of Science findet über die Nacht vom 08. Juni 17 Uhr – 09. Juni 5 Uhr statt.
Mehr Infos und die Möglichkeit sich bei Interesse einzutragen findet sich unter: Wikipedia:Night of Science 2018
Vielen Dank und ich würde mich freuen, Dich in Frankfurt am Campus Riedberg begrüßen zu dürfen. --Πτολυσϙυε .-- .. -.- .. 15:56, 11. Mai 2018 (CEST)
Info: Bitte antwortet nicht hier, sondern schreibt uns auf der Projektseite. Es handelt sich hierbei um eine einmalige Einladung dieses Projektes und du wirst keine weiteren Benachrichtigungen durch dieses Projekt von uns erhalten.