Logic @ UFRN
  • Home
  • Videos
    • 2015 >
      • Graham Priest
      • Leon Horsten
      • Vladimir Svoboda
      • Vit Puncochar
      • David Gilbert
      • Samson Abramsky
    • NAT@Logic 2015 >
      • Valeria de Paiva
      • Dale Miller
      • Valentin Goranko
      • Ofer Arieli
      • Alessandra Palmigiano
      • Luiz Carlos Pereira
      • Guillaume Hoffmann
      • Heinrich Wansing
      • Arnon Avron
      • Joao Marcos
    • 2016 >
      • João Marcos
      • Achim Jung
      • Diana Costa
      • Samir Gorski
      • João Marcos
      • Marcos Silva
    • 2017 >
      • Catuscia Palamidessi
      • Frank Valencia
    • Filomena 2017 >
      • Tuomas Tahko
      • Jonas Becker Arenhart
      • Elaine Pimentel
    • Filomena 2019 >
      • Daniel Durante
      • Michaela McSweeney
      • Peter Verdée
  • Contact

The Surprising Difficulty of Using Mathematics in Computer Science 
(Achim Jung, University of Birmingham)

In 1959 the Noble Prize winner Eugene Wigner gave a talk with the title "The unreasonable effectiveness of mathematics in the natural sciences". A write-up is easily available on the Internet, but, briefly, Wigner argued that in the natural sciences, and in physics in particular, mathematics exhibits an "a priori" usefulness and he speculates why this should be so. In computer science we also use mathematical language and mathematical theories, but one should perhaps not speak so much of "applicability" of one to the other, but of a rich and constantly evolving relationship between the two disciplines. I will trace one instance of this relationship; that which starts with Church's lambda calculus in the 1930s and has since led to the development of programming languages such as Haskell.

Click for slides.
Powered by Create your own unique website with customizable templates.
  • Home
  • Videos
    • 2015 >
      • Graham Priest
      • Leon Horsten
      • Vladimir Svoboda
      • Vit Puncochar
      • David Gilbert
      • Samson Abramsky
    • NAT@Logic 2015 >
      • Valeria de Paiva
      • Dale Miller
      • Valentin Goranko
      • Ofer Arieli
      • Alessandra Palmigiano
      • Luiz Carlos Pereira
      • Guillaume Hoffmann
      • Heinrich Wansing
      • Arnon Avron
      • Joao Marcos
    • 2016 >
      • João Marcos
      • Achim Jung
      • Diana Costa
      • Samir Gorski
      • João Marcos
      • Marcos Silva
    • 2017 >
      • Catuscia Palamidessi
      • Frank Valencia
    • Filomena 2017 >
      • Tuomas Tahko
      • Jonas Becker Arenhart
      • Elaine Pimentel
    • Filomena 2019 >
      • Daniel Durante
      • Michaela McSweeney
      • Peter Verdée
  • Contact