Results 1 
3 of
3
On Trace Specifications
, 1995
"... Abstract: In this report I explore some ideas for formally specifying modules based on the trace assertion method outlined in, for example, [Parnas and Wang 1989]. These ideas include: • A formal mathematical theory of trace specifications which is independent of their intended application to module ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract: In this report I explore some ideas for formally specifying modules based on the trace assertion method outlined in, for example, [Parnas and Wang 1989]. These ideas include: • A formal mathematical theory of trace specifications which is independent of their intended application to module specification (Chapter 2). • Some ideas on presenting module specifications (Chapter 3). • A theory of trace specifications for dealing with modules that call other modules (Chapter 4). • Automata theoretic models for trace specifications of the sort defined in Chapter 4
Consistency  What's Logic Got to Do with It?
, 1996
"... this paper, I want to explore the origin of the modern conception of the idea of consistency in logic in the work of German mathematician David Hilbert. My interest in the development of the modern idea of consistency arises from my belief that an overriding concern with a strict requirement of cons ..."
Abstract
 Add to MetaCart
this paper, I want to explore the origin of the modern conception of the idea of consistency in logic in the work of German mathematician David Hilbert. My interest in the development of the modern idea of consistency arises from my belief that an overriding concern with a strict requirement of consistency, borrowed primarily from the rigors of modern developments in logic, has prevented latter day twentieth century philosophers from producing philosophical systems of the type produced in earlier times.
John von Neumann and Hilbert's School of Foundations of Mathematics ∗
"... The aim of the paper is to describe main achievements of John von Neumann in the foundations of mathematics and to indicate his connections with Hilbert's School. In particular we shall discuss von Neumann's contributions to the axiomatic set theory, his proof of the consistency of a fragment of the ..."
Abstract
 Add to MetaCart
The aim of the paper is to describe main achievements of John von Neumann in the foundations of mathematics and to indicate his connections with Hilbert's School. In particular we shall discuss von Neumann's contributions to the axiomatic set theory, his proof of the consistency of a fragment of the arithmetic of natural numbers and his discovery (independent of Gödel) of the second incompleteness theorem. 1