Works by Dubucs, J. P. (exact spelling)

( view other items matching `Dubucs, J. P.`, view all matches )
Order:
  1.  6
    Die sogenannte Analytizität der Mathematik.J. P. Dubucs - 1988 - Grazer Philosophische Studien 32 (1):83-112.
    Im Hinblick auf den Herbrand'schen Satz für die Prädikatenlogik der ersten Stufe und auf die Lehre vom Beweisverfahren mit Rechenautomaten, die daraus folgt, wird ein Beweis als komputazional synthetisch bezeichnet, wenn er sich auf Objekte bezieht, die im erwiesenen Satz nicht erwähnt sind. Die mathematischen Beweise sind aber auch synthetisch in einem begrifflichen Sinne: die Kontrolle oder die Begrenzung der angewandten Begriffe — die sogenannte Methodenreinheit — ist im allgemeinen unerreichbar.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  27
    Die sogenannte Analytizität der Mathematik.J. P. Dubucs - 1988 - Grazer Philosophische Studien 32 (1):83-112.
    Im Hinblick auf den Herbrand'schen Satz für die Prädikatenlogik der ersten Stufe und auf die Lehre vom Beweisverfahren mit Rechenautomaten, die daraus folgt, wird ein Beweis als komputazional synthetisch bezeichnet, wenn er sich auf Objekte bezieht, die im erwiesenen Satz nicht erwähnt sind. Die mathematischen Beweise sind aber auch synthetisch in einem begrifflichen Sinne: die Kontrolle oder die Begrenzung der angewandten Begriffe — die sogenannte Methodenreinheit — ist im allgemeinen unerreichbar.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark