Re: [isabelle] Announcement: Brunhilde/Rhein 2015




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".

David




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