purplecat: Hand Drawn picture of a Toy Cat (mathematics)
purplecat ([personal profile] purplecat) wrote2008-11-20 09:40 am
  • Previous Entry
  • Add Memory
  • Share This Entry
  • Next Entry
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

  • 1 comment
  • Post a new comment
Flat | Top-Level Comments Only

no subject

[identity profile] wellinghall.livejournal.com 2008-11-20 01:40 pm (UTC)(link)
That's interesting - thanks for posting.
  • Thread
  • Reply to this

  • 1 comment
  • Post a new comment
Flat | Top-Level Comments Only

[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]