mathematics Archive » Heidelberg Laureate Forum » SciLogs

Computers and Proof

In the final session of the Virtual HLF, as part of a discussion on the topic ‘Where can computer science and mathematics interact fruitfully?’, the conversation turned to the question of proof. In the words …

06. Oct 2020 | By Katie Steckles | 2 comments

Mathematical Laureates and Public Engagement

The first session of this year’s HLF, following the opening ceremony, was a series of interviews with laureates, conducted by representatives of the organisations that awarded the prizes. This included an illuminating chat between Carlos …

22. Sep 2020 | By Katie Steckles | 0 comments

The Five Bridges Puzzle

There are times when I feel like I’m in a big forest and don’t know where I’m going. But then somehow I come to the top of a hill and can see everything more clearly. …

15. Jun 2020 | By Katie Steckles | 0 comments

The mystery of why spaghetti never breaks in 2 pieces

Try it yourself — it’s a neat experiment. Read more

04. Jun 2020 | By Andrei Mihai | 5 comments

Addition and Abstraction

In a previous post, I talked about the mathematical idea of generalisation – taking a system or idea and extending it in as many directions as possible to see what other interesting things we can …

09. Aug 2019 | By Katie Steckles | 1 comment

HLF 2018: Women in Mathematics Throughout Europe, An Exhibition

HLF 2018 — “Don’t you know? Mathematics isn’t feminine.” It’s the kind of backward, old-fashioned comment one can imagine a little girl getting in the midst of a 1950s elementary school math competition. But Nilanjana …

25. Sep 2018 | By Gina Smith | 1 comment

PI DAY 2018: Think You Know Everything About Pi? Think Again …

Pi Day 2018 is March 14. If you think you know everything about the apparently endless irrational number Archimedes tried and failed to claim as his own, test yourself with this collection of Pi trivia, videos and history right here .. Read more

14. Mar 2018 | By Gina Smith | 2 comments

What’s in a scientist’s mind? the HLF Questionnaire – Part 3

Martin Hairer is a mathematician specialized in probability. He started his training in physics, but soon realized that physics can be a bit ‘dirty’. That is, making assumptions in physics can be messy, while mathematics …

13. Feb 2018 | By Constanza Rojas-Molina | 1 comment

What is in a scientist’s mind? – The HLF Questionnaire

Ever wondered what do scientists think? What are their motivations, what inspires them…what is their favorite symbol? Francisca is a Computer Scientist in Nigeria, and a participant of last September’s Heidelberg Laureate Forum. During her …

06. Nov 2017 | By Constanza Rojas-Molina | Comments Off

Is mathematics realistic or idealistic?

The closing talk of the HLF’s main lecture programme (before the young researchers and laureates head off to participate in scientific interaction with SAP representatives to discuss maths and computer science in industry) was given …

16. Oct 2017 | By Katie Steckles | 14 comments

- oliver
- Zu: HLF 2019 Kicks Off with a Q&A with ACM President Cherri Pancake (plus La La Lab and the Science of Music)
Great sharing.
- takamihashi
- Zu: Computers and Proof
Since the invention and manufacture of computers from the last century until now have greatly improved, computers have been of great help in our work.
- ton de apel
- Zu: HLF 2019 Kicks Off with a Q&A with ACM President Cherri Pancake (plus La La Lab and the Science of Music)
The presentation was great and it was of great help.
- Martin Holzherr
- Zu: Architecture Innovation Accelerates Artificial Intelligence
GPT-3’s 175 billion parameters also mean, that Deep Learning Architectures can be memory constrained. Potential users ofGPT-3 indeed reported, that they coudn‘t run it because … Read more
- Martin Holzherr
- Zu: Computers and Proof
So if computers can prove our results for us now, do we even need mathematicians any more? Of course we do. There are limitations on … Read more

BLOG: Heidelberg Laureate Forum

Posts Tagged ‘mathematics’