| View previous topic :: View next topic |
| Author |
Message |
Knieper
l33t
Joined: 10 Nov 2005
Posts: 846
|
 Posted: Mon Jun 13, 2011 2:50 pm Post subject: |
 |
|
| Necoro wrote: | | Auch was jenseits der akademischen Spielwiese? |
Dort vorwiegend, an den Unis lohnen sich nur Prestigeprojekte (L4.verified).
| franzf wrote: | | Also in der Unfähigkeit, die theoretisch verifizierten Programme praktisch in Code umzusetzen? |
Wo steht das denn? Du musst immer Abwägen, an welcher Stelle Du aufhörst. Beim Compiler, bei der Hardware, bei Systemaufrufen oder eben sehr früh in der Kette und eher seltener bei der Implementation. Oft geht man den Weg anders herum, extrahiert aus dem Code ein Modell und verifiziert das.
| Quote: | | Was bringt so eine Software, die theoretisch fehlerfrei sein sollte, dann aber doch nicht das tut was sie soll? |
Du weißt, dass Dein Algorithmus funktioniert und die Protokolle keine Schwächen aufweisen (Aspier, CryptoVerif, ProVerif). Ob dann noch ein Tippfehler auftaucht, die Semantik einzelner Funktionen missverstanden wurden/sich änderten merkt man dann mit hoher Wahrscheinlichkeit durch Tests, Assertions, symbolische Ausführung oder statische Analyse (Calysto, Frama-C, KLEE, QuickCheck, Slam2).
_________________
Je dümmer desto Gnome/KDE. |
|
| Back to top |
|
 |
EOF
Guru
Joined: 02 Jul 2003
Posts: 341
Location: Usingen
|
| Posted: Fri Aug 05, 2011 11:57 pm Post subject: Re: Informatik <-> Mathematik |
|
|
| Knieper wrote: | | Programmieren ist reine Mathematik. |
 
| Wikipedia wrote: | | [...] Für Mathematik gibt es keine allgemein anerkannte Definition. [...] |
_________________
Lenovo Thinkpad T400, 4 GB RAM, Gentoo Linux amd64. |
|
| Back to top |
|
|
Erdie
Veteran
Joined: 20 May 2004
Posts: 1474
Location: Heidelberg - Germany
|
| Posted: Sat Aug 06, 2011 7:54 am Post subject: |
|
|
Also wenn Informatik = Mathematik sein soll, dann ist das schon so etwas wie eine Beleidigung für einen guten Mathematiker. Dass Informatik sich massiv mathematischer Methoden bedient, ist unbetritten. Aber die Methoden der Mathematik gehen darüber weit hinaus und reichen bis in den philosophischen Bereich, in dem Sinne würde ich behaupten, die Informatik ist angewandte Mathematik, oder ein Teilgebiet derer. Das bedeutet aber nicht um Umkehrschluß, dass die Informatik reine Mathematik ist.
Ich bin Physiker und für mich ist die Mathematik so etwas wie die Königsdisziplin aller Naturwissenschaften. Sie ist als einzige frei in philosophischem Sinne. Leider zeicgt sie auch immer wieder unsere kognitiven Schranken. Mir ging das leider auch so. |
|
| Back to top |
|
|
Knieper
l33t
Joined: 10 Nov 2005
Posts: 846
|
| Posted: Sat Aug 06, 2011 9:05 am Post subject: |
|
|
| Erdie wrote: | | Dass Informatik sich massiv mathematischer Methoden bedient, ist unbetritten. |
Nanana - was Informatiker in den letzten Jahren auf dem Gebiet der diskreten Mathematik, Beweistheorie, Kategorientheorie und speziell Logik geleistet haben, dürfte für keinen Mathematiker eine Beleidigung sein. Im Gegenteil, auf vielen Gebieten wird jetzt erst geforscht, weil den Mathematikern schlicht die Idee für Anwendungen fehlte. Nicht zu vergessen die ganzen neuen praktischen Werkzeuge, die erst dadurch möglich wurden...
| Quote: | | Aber die Methoden der Mathematik gehen darüber weit hinaus und reichen bis in den philosophischen Bereich |
Auch in der Informatik gibt es Zweige, die nur Mathematik nutzen (zB. Forschung im Bereich Mensch-Maschine-Kommunikation) und weit in den philosophischen bzw. gesellschaftspolitischen Bereich (Sicherheit, Datenschutz...) hinein reichen. Der Kern der Informatik, der sich mit Modellen, Kalkülen, Algorithmen, Typen, Software, Programmierung usw. beschäftigt ist und bleibt reine diskrete Mathematik.
_________________
Je dümmer desto Gnome/KDE. |
|
| Back to top |
|
|
Knieper
l33t
Joined: 10 Nov 2005
Posts: 846
|
| Posted: Sun Aug 14, 2011 8:10 pm Post subject: |
|
|
Bei reddit gibt es eine Patent-Diskussion, die ähnliche Argumente enthält: Why software patents are not fixable.
_________________
Je dümmer desto Gnome/KDE. |
|
| Back to top |
|
|
|
|
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
|
|
Deutsches Forum (German) 
