[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Methodenstreit? (was:Re: off topic - Freud und so <g>)

mel über Psychologie:
> Das ist anders bei einem OS wie Linux (das war der Kontext - deswegen
> "technisch"). Da kann man z.B. eine Menge messen oder mit Konzepten 
> vergleichen. Hej, wenn Du ganz verrueckt bist, kannst Du das sogar
> formal modelieren und Beweise fuehren! Dazu gibt es wunderschoene
> Theorien, die nur deswegen nicht eingesetzt werden, weil komischerweise
> keiner der Programmierer Lust hat, in einer Syntax, bei der der Formel-
> editor Schluckauf bekommt, 10 Seiten lang zu beweisen, dass ein paar 

Nein.  Solche Beweise lassen sich inzwischen automatisieren, aber
die sind bei mehr als einer bestimmten Codegröße nicht mehr berechenbar
(NP!), deswegen sind A1-Systeme immer noch nicht für den Hausgebrauch (und
Teil der Wassenaar-Exportverbote).

Auf Wunsch krame ich die Referenz raus, dauert aber.


ralf
-- 
http://www.tmt.de/~stephan/