Philosophy@HLRS

Main menu

Skip to content
  • Home
  • People
  • About

December 15th: Proof, semiotics, and the Computer – Discussion with Johannes Lenhard

Posted on October 27, 2022 by Nico

On December 15th Johannes Lenhard will join us for a discussion of his recent Proof, Semiotics, and the Computer: On the Relevance and Limitation of Thought Experiment in Mathematics. This will be a purely in-person event at HLRS. If you would like to join please register at formanek@hlrs.de.

Uncategorized

Post navigation

← Previous Post
Next Post →
Recent Posts
  • June 2nd – Talk by Eamon Duede – Reliability and opacity in deep learning methods
  • July 14th – Talk by Konstantin Genin
  • SAS23 CfA – Reliability or Trustworthiness?
  • Call for participation: Summer School Trust and ML – deadline extended!
  • Workshop with Michael Puntschuh
Recent Comments
    Archives
    • May 2023
    • April 2023
    • March 2023
    • October 2022
    • September 2022
    • July 2022
    • June 2022
    • May 2022
    • April 2022
    • March 2022
    • March 2021
    Categories
    • Conferences
    • Uncategorized
    • Workshop
    Meta
    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    © Philosophy@HLRS
    • legal info