▽The Cellular Scale ●05/01 13:30 A Tale of Two Huxleys Andrew Huxley is one of the founders of both modern electrophysiology and computational neuroscience, and is consequently a personal hero o...
▽Memming | the inconsistent ●04/26 20:49 Victoria (Vika)〓Gitman talked about non-standard models of Peano arithmetic. She listed the first-order form of Peano axioms which is supposed to describe addition, multiplication, and ordering of natural numbers . However, it turns out there are other countable models that are not natural number and yet satisfy Peano axioms. She used the〓compactness theorem, a corollary of completeness theorem (G