Re: [isabelle] Announcement: Brunhilde/Rhein 2015

On Wed, 1 Apr 2015, David Cock wrote:

On 01/04/15 11:11, Joachim Breitner wrote:
 Dear Isabelle community,

 the linguistic roots of Logic lie in the German speaking countries,
 starting with Frege and his Begriffsschrift, followed by GÃdel and many
 others, so we believe that German is the natural language of choice for
 creating and disseminating any formal works.

Ah yes, it all started with the well-known Germanic "Logos".

"Germanic" and "German" are quite different things. To understand the German tradition of philosophy and logic, you should watch this famous football match of 19th century Germany vs. antique Greece:


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.