computer science 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

Applying Mathematics and Computer Science to Everyday Life – Anecdotes from Donald Knuth and Robert Tarjan

On day two of the Virtual Heidelberg Laureate Forum (HLF) 2020, Robert Endre Tarjan and Donald Ervin Knuth engaged in a freewheeling conversation about mathematics, computer science, and art. Donald Knuth was the 1974 ACM …

25. Sep 2020 | By Khari Douglas | 0 comments

Computer graphics researchers are finally getting the recognition they deserves — and it’s a good lesson for young researchers

Pat Hanrahan and Edwin Catmull have often felt like underdogs in the computer science academic world. In a time when some of the greatest minds were creating AIs and cryptographic algorithms, the two spent their …

23. Sep 2020 | By Andrei Mihai | 0 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 ‘computer science’

Computers and Proof

Applying Mathematics and Computer Science to Everyday Life – Anecdotes from Donald Knuth and Robert Tarjan

Computer graphics researchers are finally getting the recognition they deserves — and it’s a good lesson for young researchers

HLF 2018: Is Bill Phillips The Coolest Guy In the World?

Inspired by Star Wars, BYU’s Futuristic 3D Display Tech Works Like This …

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

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

Young Researchers Learn from Each Other at HLF17

Heidelberg Laureate Forum: Your last minute checklist for the Oscars of Maths Conferences

Computers and Proof

Applying Mathematics and Computer Science to Everyday Life – Anecdotes from Donald Knuth and Robert Tarjan

Computer graphics researchers are finally getting the recognition they deserves — and it’s a good lesson for young researchers

HLF 2018: Is Bill Phillips The Coolest Guy In the World?

Inspired by Star Wars, BYU’s Futuristic 3D Display Tech Works Like This …

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

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

4 Tech Heroines we should celebrate on Ada Lovelace Day and International Girls Day

Young Researchers Learn from Each Other at HLF17

Heidelberg Laureate Forum: Your last minute checklist for the Oscars of Maths Conferences