Results 1 -
3 of
3
A critical look at design, verification, and validation of large scale simulations
"... Note to the Reader. I see six constituencies in CSE: computer, mathematical, and physical scientists; engineers; and technical and non-technical managers. I have adopted a conversational tone to make this article as widely accessible as possible. Ihave also provided a Bibliography. ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Note to the Reader. I see six constituencies in CSE: computer, mathematical, and physical scientists; engineers; and technical and non-technical managers. I have adopted a conversational tone to make this article as widely accessible as possible. Ihave also provided a Bibliography.
Non-Standard Models of Arithmetic: a Philosophical and Historical perspective MSc Thesis (Afstudeerscriptie)
, 2010
"... 1 Descriptive use of logic and Intended models 1 1.1 Standard models of arithmetic.......................... 1 1.2 Axiomatics and Formal theories......................... 3 1.3 Hintikka and the two uses of logic in mathematics.............. 5 ..."
Abstract
- Add to MetaCart
1 Descriptive use of logic and Intended models 1 1.1 Standard models of arithmetic.......................... 1 1.2 Axiomatics and Formal theories......................... 3 1.3 Hintikka and the two uses of logic in mathematics.............. 5
