purplecat (
purplecat
) wrote
2008
-
11
-
20
09:40 am
Entry tags:
computer science:verification
,
mathematics
,
mathematics:formal proof
,
mathematics:verification
How to (Really) Trust a Mathematical Proof
Quite a nice article which explains the sort of stuff I (used to) research:
How to (Really) Trust a Mathematical Proof
Flat
|
Top-Level Comments Only
no subject
wellinghall.livejournal.com
2008-11-20 01:40 pm (UTC)
(
link
)
That's interesting - thanks for posting.
1 comment
Post a new comment
Flat
|
Top-Level Comments Only
[
Home
|
Post Entry
|
Log in
|
Search
|
Browse Options
|
Site Map
]
no subject