Searching for "Foundation Matters." – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
At Issue: Voluntary or Compensatory Boards — Which Is the Better Policy?
- … responsibilities of the board member • Amount of time spent on foundation matters • Complexity of the foundation…
- Add To MetaCart
-
Authenticated Three Party Key Agreement Protocols from Pairings
- … to be useful, but still evolving, with some debate yet to be had concerning foundational matters. The results…
- Cited by 19 (2 self) – Add To MetaCart
-
Hilbert's Programs: 1917-1922
- …, in his [2], lists 25 lectures concerned with foundational matters that were given by Hilbert between 1898…
- Cited by 8 (0 self) – Add To MetaCart
-
Computers, Reasoning and Mathematical Practice
- … leading mathematicians such as Hilbert and Poincar'e were actively engaged in foundational matters. 2…
- Cited by 6 (2 self) – Add To MetaCart
-
Kreisel's "unwinding" Program
- … was long gone), but some reinforcement of Kreisel's interests in logic and foundational matters…
- Cited by 7 (0 self) – Add To MetaCart
-
Stochastic Formal Methods: An application to accuracy of numeric software
- … taking foundational matters seriously. In this paper we will consistently try to present matters…
- Add To MetaCart
-
The power of paradox: Some recent developments in interactive epistemology
- … fascinating tension. 3Dekel and Gul (1997) is a very useful broad survey of foundational matters in game…
- Cited by 4 (1 self) – Add To MetaCart
-
Quantum Information Theory - an Invitation
- … on foundational matters can usually agree quite easily on what the predictions of quantum mechanics are in a…
- Cited by 2 (1 self) – Add To MetaCart
-
A Metadata Kernel for Electronic Permanence
- … foundation matters that affect all DC users. The ERC offers a way to capture the valuable Dublin Core…
- Cited by 2 (0 self) – Add To MetaCart
-
My Route to Arithmetization
- … vistas in logic, Kleene's concern with foundational matters struck a responsive chord in me, and I began…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
