4
votes
1answer
130 views

Computing square roots and calculus

If one were to verify that $$ \sqrt{2} < 3 $$ would the underlying formalisation require a logic more expressive than first-order? Or, is FOL sufficient since real numbers can be formalised in ...
1
vote
1answer
152 views

What formal mathematical models exist for digital hardware?

What formal mathematical models exist for digital hardware? I am familiar with several non-formal models that are used as the basis of several hardware description language simulators and ...