Re: Eggs and hens



Date view Thread view Subject view Author view Attachment view

From: Hubert Keller (keller@iai.fzk.de)
Date: Wed 21 Apr 2004 - 20:12:54 BST


Right, but you have to commonly agree on the semantic of the basic 
axioms. Then it starts to work...

Joaquin Miller schrieb:

> Friends:
>
> One can avoid stepping on eggs and being tripped up by hens if one 
> uses the axiomatic method to specify poultry.
>
> The 3C UML 2 submission shows how this is done for a modeling 
> language.  The other advantages of the axiomatic method won't fit here.
>
> Cordially,
>
> Joaquin
>
> http://www.omg.org/cgi-bin/doc?ad/02-09-15.pdf
> or
> http://www.omg.org/cgi-bin/doc?ad/02-09-15.mif
>
> .................
>
> Sure, axioms need to be expressed in some language.  But that's 
> unavoidable, and the most general case has been much discussed.  
> Wittgenstein is a good author on that, and Tarski on the axiomatic 
> method.  Bunge says it in few words:  it is not possible to define 
> everything while avoiding circularity.  The axiomatic method does the 
> job: it does not attempt to define everything.
>
> Having defined a formal system using the axiomatic method, what 
> remains is to express how that system and the parts of that system are 
> intended to be used.  Then we have a practical system.
>
>
> PGP Fingerprint:
> CA23 6BCA ACAB 6006 E3C3 0E79 2122 94B4 E5FD 42C3
>
>
>
>
>
> To remove yourself from this list please mail 
> puml-list-request@cs.york.ac.uk
> with a message containing the word "unsubscribe".
>

-- 
________________________________________________________________		
				
Dr. Hubert B. Keller

Mitglied im Präsidium und im erweiterten Vorstand
  der Gesellschaft für Informatik e.V.

privat:	Erasmusstr. 3, 76139 Karlsruhe
	Mob ++49 171 2075269 Fax 0721 9683530
	email: drhbk@arcor.de

berufl:	Forschungszentrum Karlsruhe
	Institut für Angewandte Informatik
	Postfach 3640, 76021 Karlsruhe
	T ++49 7247 82-5756 Fax -5702 
	e-mail: keller@iai.fzk.de           
________________________________________________________________
Ada - Real Time and OO-Language
  http://www.Ada-Deutschland.de/
  Proceedings der Tagung 2002
    J. F. H. Winkler, P. Dencker, H. B. Keller, M. Tonndorf (Hrsg.)
    Ada Deutschland Tagung 2002 
    - Software für sicherheitskritische Systeme
The German Informatics Society
  http://www.gi-ev.de/
Bürgerverein Waldstadt e.V.
  http://www.bv-waldstadt.de/
Ges. für Kommunikations- und Informationstechnologien mbH
  http://www.ci-tec.de
Fachbereich "Sicherheit - Schutz und Zuverlässigkeit"
  http://www.gi-fb-sicherheit.de/
  Proceedings der Tagung 2003:
    Rüdiger Grimm, Hubert B. Keller, Kai Rannenberg (Hrsg.) 
    "INFORMATIK 2003 - Mit Sicherheit Informatik", Bonn 2003
    ISBN 3-88579-365-2 (ISSN 1617-5468)

Date view Thread view Subject view Author view Attachment view