A tour of "machine" mathematics
4 views
Skip to first unread message
Philip Thrift
Jun 8, 2020, 5:31:48 PM6/8/20
to Everything List
is a nice historical tour of "proof-assistant"-programming with some nice photos, and this historical tidbit:
AUTOMATH
N.G. de Bruijn (1967)
a language to encode mathematics fully formally
@philipthrift
Reply all
Reply to author
Forward
0 new messages