Hey Leutz,

les' grad n mathematischen Text in eigener Sache, und der is schon etwas älter:

kennt sich jemand mit der "Hilbertschen Symbolik" aus?

mfg

Chris

Bin mir nicht sicher, aber.. ich glaube im F1-Skript dürfte darüber etwas zu finden sein.

F1??? Hilbertsche Symbolik? Verwechselst du da auch nix mit Herbrand?

Ich kenne das Schlagwort "Hilbertsche Symbolik" nur von F3, wo das mit der O-Notation dran kam… mußt da mal schauen

Hilbert kam auch vor. Das wars auch schon, was meine Erinnerung angeht.

Ich glaub von Hilbert war dieses Modus-Ponens Kalkuel…

MoKrates

erstma Danke für die Antworten…das Problem besteht jedoch darin das ich die Hilbertsche Symbolik aus den 30er (40er?) suche, alle neueren Veröffentlichungen und Texte (ect.) verwenden, wenn überhaupt, abgeänderte Versionen dieser Symbolik….
mfg
chris

also auf der ersten google seite zu 'hilbert symbolik' hab ich das hier gefunden, hift dir vielleicht wenn du englisch beherrschst:

http://www.ucalgary.ca/~rzach/papers/hilbert.pdf