Tarski's World
Abstract/Contents
- Abstract
- Tarski's World allows one to construct a world of geometric shapes and then enter sentences about this world. These sentences are tested for correct syntax, for proper use of labels and variables, and formally for truth. Although three dimensional shapes are used to make them more visually interesting, the world is only two dimensional. The geometric relationships among shapes, relationships such as LeftOf and BackOf, are also two dimensional. Attributes of specific shapes can also be tested
Description
Type of resource | software, multimedia |
---|---|
Date created | 1986 |
Creators/Contributors
Author | Barwise, Jon | |
---|---|---|
Author | Etchemendy, John |
Subjects
Subject | Computer games |
---|---|
Subject | Simulations |
Subject | Alfred Tarski |
Bibliographic information
Related item |
|
---|---|
Location | https://purl.stanford.edu/jw629wd3617 |
Access conditions
- Use and reproduction
- User agrees that, where applicable, content will not be used to identify or to otherwise infringe the privacy or confidentiality rights of individuals. Content distributed via the Stanford Digital Repository may be subject to additional license and use restrictions applied by the depositor.
Preferred citation
- Preferred Citation
- Barwise, Jon and Etchemendy, John. (1986). Tarski's World. Stanford Digital Repository. Available at: https://purl.stanford.edu/jw629wd3617
Collection
Stanford University, Academic Computing and Information Services, Academic Software Development Collection
Contact information
- Contact
- universityarchives@stanford.edu
Loading usage metrics...