[FOM] interesting

Kreinovich, Vladik vladik at utep.edu
Tue Jul 16 12:05:59 EDT 2019

Previous message: [FOM] REMINDER: French Philosophy of Mathematics Workshop, Paris, Nov. 14-16, 2019, CfP
Next message: [FOM] Formal Methods in Mathematics / Lean Together 2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Turing will be on new British 50-pound notes starting 2021
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190716/1ece9fe7/attachment.html>

Previous message: [FOM] REMINDER: French Philosophy of Mathematics Workshop, Paris, Nov. 14-16, 2019, CfP
Next message: [FOM] Formal Methods in Mathematics / Lean Together 2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list