gds — Пост про различие "proof of negation" ...

gds 28.02.2013 11:09 umodniA1EA9229

Пост про различие "proof of negation" vs "proof by contradiction", в том числе есть интересное про отличие классической от интуиционистской (конструктивной) логики (однако, если последнее вам известно, в том числе на практике, то читать будет не очень интересно, разве что для структуризации знаний): http://math.andrej.com/2010/03/29/proof-...