ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Where Do I Put...

 To: "[ontolog-forum] " Christopher Menzel Wed, 2 Feb 2011 11:16:53 -0600 <0DB2B9F9-619A-47A2-A447-BA37D5C81C3D@xxxxxxxx>
 On Feb 2, 2011, at 7:50 AM, John Bottoms wrote:I've been thinking for a while that we need a "Where Do I Put..." thread. It will cover suggestions on where to put those fussy little things that are not covered in ontological discussions. Do you have any of these types of questions?I recognize that there are many ways to organize an ontology, but clearly if access is by structure, rather than by indexical, then we should recognize and promote the more efficient structures.Where Do I Put...??-------------------1. Gõedel numbers and other formulas? Puzzling question. First, Gödel numbers are not formulas; they are, as the label suggests, numbers. Second, there are no Gödel numbers per se. Rather, it only makes sense to call a number a Gödel number relative to a Gödel numbering, i.e., a completely conventional assignment of numbers to the basic syntactic elements of a formal language. Gödel numberings, and the Gödel numbers they generate, are purely theoretical constructs used for proving some rather advanced theorems in mathematics (notably, of course, Gödel's incompleteness theorems). I myself can't envision any scenario under which one would have to worry about where to "put" them in the course of building an ontology (whatever exactly "putting" is supposed to mean).(...and are data encoded using Church's approach?)What is Church's approach?Chris Menzel
```
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

```
 Current Thread [ontolog-forum] Where Do I Put..., John Bottoms Re: [ontolog-forum] Where Do I Put..., Ron Wheeler Re: [ontolog-forum] Where Do I Put..., doug foxvog Re: [ontolog-forum] Where Do I Put..., Christopher Menzel <= Re: [ontolog-forum] Where Do I Put..., Waclaw Kusnierczyk Re: [ontolog-forum] Where Do I Put..., Christopher Menzel Re: [ontolog-forum] Where Do I Put..., Patrick Cassidy