3
votes
1answer
110 views

What does “calculus” mean?

"calculus" and "formal system" From http://en.wikipedia.org/wiki/Propositional_calculus#Terminology a calculus is a formal system that consists of a set of syntactic expressions ...
4
votes
1answer
134 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
161 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 ...