You're reading: Posts By Katie Steckles

HLF Blogs: Leslie Lamport Thinks Your Code Is Bad

This week, Katie and Paul are blogging from the Heidelberg Laureate Forum – a week-long maths conference where current young researchers in maths and computer science can meet and hear talks by top-level prize-winning researchers. For more information about the HLF, visit the Heidelberg Laureate Forum website.

 


 

Image: Heidelberg Laureate Forum Foundation / © Bernhard Kreutzer

At last year’s HLF, Turing Award Leslie Lamport gave us his (not wholly complimentary) thoughts on the state of proof-writing in mathematics. Since he has worked in both maths and computer science, members of the latter discipline may have felt they got off quite lightly. Perhaps to redress the balance, this year we found out what he thinks is wrong with most people’s code and algorithms, in a talk titled If You’re Not Writing a Program, Don’t Use a Programming Language.

Atiyah-Riemann Proof: banter summary

Today the internet has been getting excited about Sir Michael Atiyah’s claimed proof of the Riemann Hypothesis, which he presented at the Heidelberg Laureate Forum this morning. We’ve collected all the relevant links and tweets to help you make sense of what’s going down in critical-line-town.

HLF Blogs: What is the Riemann Hypothesis?

This week, Katie and Paul are blogging from the Heidelberg Laureate Forum – a week-long maths conference where current young researchers in maths and computer science can meet and hear talks by top-level prize-winning researchers. For more information about the HLF, visit the Heidelberg Laureate Forum website.

This year at the HLF there are multiple sessions in the program concerning the Riemann Hypothesis, including a talk from one of the laureates, and one of the young-researcher-led workshop sessions. But what exactly is the Riemann Hypothesis, and what is its place in mathematics?

Carnival of Mathematics 158

Carnival of Mathematics LogoThis is the 158th Carnival of Mathematics, a monthly round-up of interesting maths bits from across the internet. Convention dictates that I now therefore specify some interesting facts about the number 158. Unfortunately I am writing this on a train with no internet access, which will make fulfilling this obligation more than usually challenging.

Measuring π with a pendulum

 

Matt Parker approximating pi using a pie

Friends of the Aperiodical, nerd-comedy troupe Festival of the Spoken Nerd, are currently on tour around the UK. As part of their show, questionably titled You Can’t Polish a Nerd, Matt Parker attempts to calculate the value of $\pi$ using only a length of string and some meat encased in pastry. He’s previously done this on YouTube, and the idea was inspired by the Aperiodical’s 2015 Pi Approximation Challenge, and in particular my own attempt to approximate $\pi$ with a (more conventional) pendulum.

HLF Blogs – The numbers behind the young researchers

This week, Katie and Paul are blogging from the Heidelberg Laureate Forum – a week-long maths conference where current young researchers in maths and computer science can meet and hear talks by top-level prize-winning researchers. For more information about the HLF, visit the Heidelberg Laureate Forum website.

The view on the boat deck - plenty of young researchers to corner!

The view on the boat deck – plenty of young researchers to corner!

Having extensively covered the talks and press conferences of the Laureates so far, we thought it was time to talk to some of the Young Researchers at this year’s HLF about the work they’re doing.

Google+