Spektrum.de
Heidelberg Laureate Forum
  • Astronomie
    • Astra's Spacelog
    • AstroGeo
    • Astronomers do it at Night
    • Clear Skies
    • Das Zauberwort
    • Durchblog
    • Exo-Planetar
    • Go for Launch
    • Leben auf dem Mars
    • Pictures of the sky
    • Prosa der Astronomie
    • RELATIV EINFACH
    • Spektrum Live
    • Sternbildung
    • Uhura Uraniae
  • Biologie
    • Anatomisches Allerlei
    • Beobachtungen der Wissenschaft
    • Biosenf
    • Detritus
    • Die Sankore Schriften
    • 1ife5cience
    • Marlenes Medizinkiste
    • MeerWissen
    • MENSCHEN-BILDER
    • Mit Herz und Hirn
    • Parasitengeflüster
    • POLyMEER
    • Streifzüge rückwärts
    • Vom Hai gebissen
    • Von Menschen und Mäusen
  • Chemie
    • Detritus
    • Fischblog
    • Spektrum Live
    • Von Menschen und Mäusen
  • Erde/Umwelt
    • AstroGeo
    • Atommüll-Debatte
    • Der Anthropozäniker
    • Fischblog
    • Geschichte der Geologie
    • KlimaLounge
    • Leben auf dem Mars
    • MeerWissen
    • Mente et Malleo
    • POLyMEER
    • Spektrum Live
    • Umweltforsch
    • Vom Hai gebissen
  • IT/Tech
    • AstroGeo
    • Datentyp
    • Die Engelbart-Galaxis
    • Gehirn & KI
    • Gesund-Digital-Leben
    • Heidelberg Laureate Forum
    • HYPERRAUM.TV
    • Tensornetz
    • WILD DUECK BLOG
  • Kultur
    • MENSCHEN-BILDER
    • Abenteuer Geschichte – Archäologie unterm Galgen
    • Antikes Wissen
    • Beobachtungen der Wissenschaft
    • Con Text
    • Denkmale
    • Der Islam
    • Edle Einfalt, stille Größe
    • Die Engelbart-Galaxis
    • Geschichte der Geologie
    • Gesund-Digital-Leben
    • Gute Geschäfte
    • KlarText Blog
    • Medicine & More
    • Mit Herz und Hirn
    • Natur des Glaubens
    • Naturwissenschaft in der Gesellschaft
    • Neurogenesis
    • Quantensprung
    • Semantische Wettkämpfe
    • Streifzüge rückwärts
    • Uhura Uraniae
    • Über das Wissenschaftssystem
  • Mathematik
    • Heidelberg Laureate Forum
  • Medizin
    • Anatomisches Allerlei
    • Die Sankore Schriften
    • Fischblog
    • Gesund-Digital-Leben
    • Graue Substanz
    • Hochbegabung
    • 1ife5cience
    • Marlenes Medizinkiste
    • Medicine & More
    • Parasitengeflüster
    • Von Menschen und Mäusen
  • Physik
    • Beobachtungen der Wissenschaft
    • Das Zauberwort
    • Die Natur der Naturwissenschaft
    • Formbar
    • HYPERRAUM.TV
    • KlarText Blog
    • Quantenwelt
    • RELATIV EINFACH
    • Spektrum Live
  • Psychologie/Hirnforschung
    • Babylonische Türme
    • braincast
    • Feuerwerk der Neuronen
    • Gedankenwerkstatt
    • Gehirn & KI
    • Graue Substanz
    • Gute Geschäfte
    • HIRN-RISSE
    • Hochbegabung
    • KlarText Blog
    • love, sexually
    • Medicine & More
    • MENSCHEN-BILDER
    • Natur des Glaubens
    • Neurogenesis
    • Positive Psychologie und Motivation
    • Semantische Wettkämpfe
    • Tensornetz
    • WIRKLICHKEIT

BLOG: Heidelberg Laureate Forum

Laureates of mathematics and computer science meet the next generation
Heidelberg Laureate Forum

Posts Tagged ‘Leslie Lamport’

Paul Taylor

Leslie Lamport thinks your proofs are bad

Bad news: The Turing award winner and father of LaTeX thinks the proofs you (and everyone else) are writing are sloppy, non-rigorous and quite likely flat-out wrong. But there’s good news too: Sir Michael Atiyah …

28. Sep 2017 | By Paul Taylor | 2 comments
Brian Hayes

Casual Attire and Formal Proof

Informality is the watchword here at the Heidelberg Laureate Forum. Even the most distinguished participants go by Bob or Fred or Len rather than Herr Professor Doktor. In this casual social atmosphere, however, formality of …

03. Sep 2015 | By Brian Hayes | 0 comments
Evelyn Lamb

A Computer Scientist Tells Mathematicians How To Write Proofs

Believe it or not, I do have friends who would describe themselves as not liking math, and every so often one of them will share this meme on Facebook: And then Satan said, “Put the …

24. Sep 2014 | By Evelyn Lamb | 0 comments
Markus Pössel

Writing for mathematical clarity

Yes, he does get that a lot. And translating freely from international body language, Leslie Lamport could well do without another unoriginal “Thank you” from a grateful LaTeX user. Comparatively few people, it seems, ask …

24. Sep 2014 | By Markus Pössel | 2 comments

  • About the blog/Über das Blog
  • English blog team
  • Deutsches Team
  • HLF Impressum
  • http://www.heidelberg-laureate-forum.org/

The 7th Heidelberg Laureate Forum takes place from September 22 – 27, 2019.  The HLF is a networking conference where 200 young researchers in mathematics and computer science from around the globe interact with recipients of the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and the Nevanlinna Prize. An international Blog Team is covering the Forum in English and German.

  • Twitter
  • Facebook
  • Flickr
  • RSS Feed

Recent Posts

  • Eight Candle-based Maths Puzzles
  • Zero-player Games
  • Perfect Squares
  • Podcast Interview with “Father of the Internet” Vint Cerf
  • Intercultural Science-Art Project – The Artworks

Recent Comments

    • Stephanie
    • Zu: Zero-player Games

    Dies ist einer der interessantesten Artikel der letzten Zeit! Manchmal möchte ich mich entspannen und Spaß haben, aber da ich eigentlich keine Freunde habe, spiele … Read more

    • fliegenklatsche
    • Zu: Zero-player Games

    Dr.W. Patiencen legen ist bei Frauen sehr beliebt. Russisches Roulette ist die kurze männliche Variante.

    • Dr. Webbaer
    • Zu: Zero-player Games

    Der Text war halt Bull. Dr. W weiß worüber er schreibt, “Opi” spielt gerne ablenkend wie folgt ein : -> https://www.youtube.com/watch?v=DupyAkOZLYA MFG – Opi

    • Martin Holzher
    • Zu: Zero-player Games

    If, as shown here by examples, zero player games are automatisms that apply rules that depend solely on the current “score”/state and perhaps still on … Read more

    • Dr. Webbaer
    • Zu: Zero-player Games

    Der Terminus ‘zero-player game’ ist fehlgeleitet, das Spiel, ‘Game’, siehe oben in dieser Kommentatorik, ist etymologisch klar die gegenseitige Beschäftigung von Personen meinend. Dr. Webbaer … Read more

Archives

  • December 2019
  • November 2019
  • October 2019
  • September 2019
  • August 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • January 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • February 2017
  • December 2016
  • October 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • March 2016
  • September 2015
  • August 2015
  • October 2014
  • September 2014
  • August 2014
  • October 2013
  • September 2013

Categories

  • Allgemein
  • Computer Science
  • Deutsch
  • English
  • General
  • Mathematics
  • Social Notes

@HLForum on twitter

Tweets by HLForum

SciLogs on Social Networks

  • Twitter
  • Facebook
  • Google+
  • RSS Feed

RSS Currently on SciLogs

  • Venus und Saturn am Abend des 11.12.2019
  • Eight Candle-based Maths Puzzles
  • Tür 10: Pferd und Andromeda
  • Tür 9: Delphin und Füllen
  • Klimawandel-Berichterstattung: Wie man es nicht machen sollte
  • Tür 8: Pfeil und Adler

The 7th Heidelberg Laureate Forum takes place from September 22 – 27, 2019.  The HLF is a networking conference where 200 young researchers in mathematics and computer science from around the globe interact with recipients of the Abel Prize, ACM A.M. Turing Award, ACM Prize in Computing, Fields Medal and the Nevanlinna Prize. An international Blog Team is covering the Forum in English and German.

HLF Imprint

©2019 Heidelberg Laureate Forum | SciLogs - Wissenschaftsblogs | Über SciLogs | Impressum | Nutzungsbedingungen | Datenschutz

Top