Blog durchsuchen
Profil
퀘 스 너 틸 로 wohnt in Seoul und arbeitet über
geometrische Topologie.
Letzte Einträge
- Topologie von Flächen CCXXI2 Kommentare· 25.05.12
- 25000 Unterzeichner gesucht6 Kommentare· 23.05.12
- Wissenschafts-Fernsehen3 Kommentare· 21.05.12
- Selbstorganisierende Untergrundbahnen8 Kommentare· 20.05.12
- Topologie von Flächen CCXX0 Kommentare· 18.05.12
Kommentare
- Thilo · 25.05.12 · 15:22 Uhr Topologie von Flächen CCXXI
- stag sprey · 25.05.12 · 13:19 Uhr 25000 Unterzeichner gesucht
- miesepeter3 · 23.05.12 · 10:26 Uhr Selbstorganisierende Untergrundbahnen
- Rainer · 22.05.12 · 13:26 Uhr Wissenschafts-Fernsehen
- Thilo · 18.05.12 · 14:17 Uhr "Nature" vor Gericht
Blogroll
- ScienceBlogs.de
- ScienceBlogs.com
- Mathematics Websites
- Mathematics Journals
- arXiv
- Mathblogging.org
- Terence Tao: What's new
- Images des Mathematiques
- Geometry and the Imagination
- Low dimensional Topology
- n-category cafe
- secret blogging seminar
- God Plays Dice
- Combinatorics and more
- The accidental mathematician
- Annoying precision
- Gödels lost letter
- XOR's Hammer
- Frank Morgan
- 360
- Area 777
- Ian Agol's Research Blog
- Links to Low-dimensional Topology
- Mathematical Reviews
- Zentralblatt
- Thilo Kuessner
Kategorien
Archiv
- Mai 2012
- April 2012
- März 2012
- Februar 2012
- Januar 2012
- Dezember 2011
- November 2011
- Oktober 2011
- September 2011
- August 2011
- Juli 2011
- Juni 2011
- Mai 2011
- April 2011
- März 2011
- Februar 2011
- Januar 2011
- Dezember 2010
- November 2010
- Oktober 2010
- September 2010
- August 2010
- Juli 2010
- Juni 2010
- Mai 2010
- April 2010
- März 2010
- Februar 2010
- Januar 2010
- Dezember 2009
- November 2009
- Oktober 2009
- September 2009
- August 2009
- Juli 2009
- Juni 2009
- Mai 2009
- April 2009
- März 2009
- Februar 2009
- Januar 2009
- Dezember 2008
- November 2008
- Oktober 2008
- September 2008
- August 2008
- Juli 2008
- Juni 2008
- Mai 2008
- April 2008
- März 2008
- Februar 2008
« vorheriger Beitrag · nächster Beitrag »
15.12.10 · 19:58 Uhr
Selbstexpandierende Beweise
Kategorie: Geistes- & Sozialwissenschaften · Kommentare: 7
Neulich beim Kaffee-Trinken ging es mal wieder darum, wie ausführlich Beweise in mathematischen Arbeiten aufzuschreiben seien.
Klar, ausführlich ist immer besser (als Leser kann man zwar vorhandene Information ignorieren, aber nicht nicht-vorhandene Information generieren), aber manchmal sind Arbeiten auch gerade schwer lesbar, weil sie zu viele den Lesefluß störende und den roten Faden verdeckende Details ausformulieren.
Die optimale Lösung dafür sind natürlich, heute in der Online-Zeit: klickbare Beweise - Kurzfassungen, die nach Anklicken einzelner Begriffe oder Sätze expandieren und dies immer weiter fortgesetzt (sozusagen selbstähnlich, sich fraktal verzweigend).
God plays Dice hatte sich darüber früher schon mal Gedanken gemacht und dabei den Teleskop-Text von Joe Davis ausgegraben.
Die Ausgangsversion von Davis' Textes war:
I made tea.
by Joe
Nach Anklicken der einzelnen Worte bekommt man zusätzliche Informationen, also einen ausführlichen Text, in diesen ausführlicheren Texten kann man neue Worte anklicken und bekommt noch ausführlichere Informationen und das kann man dann eine ganze Weile fortsetzen, am Ende, wenn man wirklich alles angeklickt hat, was sich anklicken ließ, erhält man:
Yawning, and smearing my eyes with my fingers, I walked bleary eyed into the kitchen and filled the kettle with fresh water,water from the tap, checking with my hands to make sure it was cold enough.(The best tea comes from the coldest water). I glanced outside for a minute at the city mist. I could almost taste the grey. I plugged the kettle in and switched it on. As the kettle began to hiss, I looked for biscuits. Anything above loose crumbs would do. Thankfully I found some fusty digestives. For some reason, biscuits are always nicer when they've gone a bit dry and stale. I took the milk out of the fridge and poured some into a cup that I'd left outleft out from having used earlier. The kettle began grumbling fiercely so took it from the cord, threw a teabag into my cup and poured boiling water onto it. I watched brown swirls rise up through the muted white of milky water. A few minutes passed. I removed and squeezed the teabag, then flicked it into the bin. I picked up my mug and left the kitchen with a nice, hot cup of strong tea.
by Joe Michael Lambert Davis
Am besten selbst ausprobieren: www.telescopictext.com/
Mathematische Vorträge in Seminaren oder auf Tagungen werden ja oft im Prinzip durchaus so aufgebaut: man gibt erst den großen Überblick und geht dann in die Details und wenn Zeit bleibt am Ende auch noch in die Details der Details.
Es wäre natürlich einen Versuch wert, auch Veröffentlichungen oder Lehrbücher so aufzubauen, also eine Kurzfassung zu schreiben, in der Einzelheiten der Beweise oder auch andere zusätzliche Informationen dann angeklickt werden können, und das in mehreren Stufen, expandierend, wie oben in Joe Davis' Text. (Das funktioniert dann natürlich nur für Online-Veröffentlichungen, nicht für die gedruckten Versionen.)
Auf jeden Fall würde das mehr Arbeit machen und es stellt sich die Frage, ob Aufwand und Nutzen im rechten Verhältnis stehen. Und, die Möglichkeit, quasi unbegrenzt Fußnoten von Fußnoten von Fußnoten einzufügen verführt natürlich dazu, absolut alles, was man weiß, irgendwie mit einzubauen. Aber gut, in den Geisteswissenschaften kennt man das schon lange, daß Fußnoten oft ausführlicher und interessanter sind als die Texte selbst. Und manchmal eröffnen Fußnoten ja auch ganz neue künstlerische Möglichkeiten wie in Max Frisch's "Wilhelm Tell für die Schule". (Aus einer literaturwissenschaftlichen Arbeit zu Frisch's Buch: "die Grenze zwischen den Fußnoten und dem Haupttext ist nur optisch wahrzunehmen: Figuren und Schlussfolgerungen in Fußnoten der früheren oder späteren Kapitel erscheinen im Bewusstsein der Figuren im Haupttext, und die Anmerkungen sind in der Regel länger als der Haupttext, der - im Gegensatz zu den provozierten „faktischen" Narrativen - ohne Fußnoten schwer zu verstehen ist.")
Autor: Thilo· 7 Kommentare· Permalink· Trackback-URL
Kommentar schreiben
Top5
- Liebe Piraten, lasst uns endlich vernünftig miteinander reden!Astrodicticum Simplex· 14.05.2012
- Risikowahrnehmung: Wenn man vor den falschen Dingen Angst hatAstrodicticum Simplex· 20.05.2012
- Dr. h.c. im Sonderangebot für 39 Euro[sic]· 14.05.2012
- Pi auf dem Einrad!Astrodicticum Simplex· 20.05.2012
- Die Erde dreht sich nicht um die Sonne...Astrodicticum Simplex· 12.05.2012
Top5
- Liebe Piraten, lasst uns endlich vernünftig miteinander reden!Astrodicticum Simplex· 14.05.2012
- Klimaschmock des Monats Mai 2012Primaklima· 20.05.2012
- Die kalte Sonne von Vahrenholt/Lüning: Le Trend, c'est moi!Primaklima· 16.05.2012
- Risikowahrnehmung: Wenn man vor den falschen Dingen Angst hatAstrodicticum Simplex· 20.05.2012
- Der NRW Wahlkampf - eine Analyse mit Noten.Primaklima· 14.05.2012
ScienceBlogs.com
- Doubt and other products: The National Toxicology Program's Report on Carcinogens, bad for whose business?by Elizabeth Grossman As it pursues its anti-regulatory agenda the ...The Pump Handle· 22.05.2012 · 16:39 Uhr
- Weekend Recap: My Annular Eclipse Expedition!A little more persistence a little more effort and what ...Starts With A Bang· 22.05.2012 · 00:11 Uhr
- Water, waterThis image has been going around the intertubes recently I ...A Few Things Ill Considered· 21.05.2012 · 22:59 Uhr
- To be or not to be? The Prevention and Public Health Fundby Kim Krisberg We will pay for this by taking ...The Pump Handle· 21.05.2012 · 15:19 Uhr
- An important revelation regarding Heartland Gate (global warming denialism)Peter Gleick has been cleared of faking a key memo ...Greg Laden's Blog· 21.05.2012 · 12:52 Uhr

Kommentare (7)
Einfach ist das meiner Erfahrung nach nicht -- es braucht eine Menge Kraft, um einen Beweis so aufzuschreiben, dass man ihn auch 'verdecken' kann (und manche Referees finden alles neue schlecht...).
Ich orientiere mich an Uri Leron http://www.jstor.org/stable/2975544 und dem hyper-formalen Versuch von Leslie Lamport http://research.microsoft.com/en-us/um/people/lamport/pubs/lamport-how-to-write.pdf
Seitdem ich es nutze, denke ich, tiddlywiki waere sehr geeignet als Medium -- besonders wenn man http://tractatus.net.tiddlyspot.com/ anschaut. Auf mathoverflow gab's mal ne Frage zu social reading platforms und http://blogs.plos.org/mfenner/ arbeitet gerade an einem Projekt fuer einen 'beyond PDF' workshop in San Diego. Das waere sicher auch fuer Mathematiker interessante.
Aber solange Leute glauben, man muesse alles ausdrucken...
Ich bekenne mich dazu, zu den "Ausdruckern" zu gehören. Nur auf Papier kann ich bequem (!) Notizen hinzufügen, die mir beim Prozess des Verstehens helfen. Nur im Papierdokument kann ich blitzschnell zwischen weit auseinanderliegenden Seiten hin- und herspringen und bin nicht durch die technischen Scheuklappen der Bildschirmabmessungen behindert.
Ungebrenzte Fußnoten in der Fußnote -egal ob anklickbar oder auf Papier- scheinen mir ein negatives Merkmal zu sein. Sollte man nicht eine möglichst klare Linie anstreben?
(Bin kein Mathematiker, aber dasselbe gilt wohl für jede Beschreibung eines komplizierten Sachverhalts.)
@jPeelen: Ich stimme zu -- ein echtes eBook aus mehreren Seiten oder dem Format einer Zeitung, das waere mal was. Die Geschwindigkeit, Papier zu sichten ist (noch) nicht zu schlagen.
Aber bedrucktes Papier ist eine ziemliche Einschraenkung fuer komplizierte Sachverhalte (als Beispiel http://www.prezi.com ). Zur Zeit ist die ausgedruckte Version die einzig Relevante -- das scheint mir nicht mehr zeitgemaess. Die Moeglichkeiten, wie Thilo sie beschreibt, gehen mit Papier eben nicht (ein 'reinzoomen' in Details).
Einiges an zusaetzlicher Struktur, z.B. Farben oder eingebettete Animationen in PDFs, kann ich beim Drucken schon jetzt relativ problemlos verschwinden lassen. Aber ein Format, dass mehr kann als PDF und doch durch Strukurierung/Markup so dynamisch ist, dass man es auch gut ausdrucken kann (oder sonst was machen kann), das waere ein grosser Fortschritt, denke ich -- und nicht so unmoeglich. HTML5 ist schon sehr weit gekommen, finde ich.
Zum Teil sollte sich auch jetzt schon ein gut strukturierter Beweis auf diese Weise auffassen lassen: Bei einem langen Beweis eines Theorems bemueht man sich doch, diesen als Kombination einiger Lemmata darzustellen, die dann wiederum selbst bewiesen werden muessen. Falls ein Beweis eines Lemmas nicht elementar ist, koennte man weitere Lemmata einfuehren.
In einem mit einem guten LaTex-Paket erstellten pdf hat man dann auch noch gleich die Sprungmarken zwischen den einzelnen Teilresultaten, und durch die Nummerierung ist es auch ausgedruckt gut nachvollziehbar.
Thilo Kuessner schrieb:
> Nach Anklicken der einzelnen Worte bekommt man zusätzliche Informationen, also einen ausführlichen Text, in diesen ausführlicheren Texten kann man neue Worte anklicken [...]
Also in Wikipedia ist das ein zielmlich galter Hut, nämlich das wikibriq -Prinzip. Z.B.:
[[Joe M. L. Davis#Joe "The-Self-Expanding-Tea-Maker" Davis|I]]
[[Timeline:Joe M. L. Davis#Started-the-morning-by-making-tea|]]
[[make#to prepare food for consumption {{is a meaning of}} "to make"|made]]
[[Tea preparation#Making tea from tea bags|]]
[[Tea#Tea bag|tea]].
Lies: "I made tea.",
einschl. des vom Nutzer wählbaren Formates für Link-Highlighting,
oder (durch mouse-over) wahlweise die nächst-ausführlichere Version des Textes,
oder (durch Anklicken) wahlweise ganze Artikel mit Hintergrund zum Text.
(Oder zumindest: das war mal ein alter Hut in Wikipedia, als dort das [[WikiProjekt:Encyclopedic Network|Wiki'PEN']] noch verfolgt wurde ... &)
> Es wäre natürlich einen Versuch wert, auch Veröffentlichungen oder Lehrbücher so aufzubauen
Wie MBMN alles Wissenswerte überhaupt.
In Sachen Lehrbüchern gibt es als positives Beispiel ja Knuth's TeXbook, das Haupttext, einfach und doppelt komplizierte Abschnitte hat, wobei man die weiterführenden Sachen mitlesen oder überspringen kann und sich immer ein sinnvoll zusammenhängender Text ergibt. In meinen Skripten mache ich das auch so.
Frank Wappler schrieb (17.12.10 · 13:42 Uhr):
> [[Tea#Tea bag|tea]].
Sollte (natürlich stattdessen) sein:
[[Tea:served as a beverage#A nice, hot cup of strong tea|tea]].