Jürgen Gruel 

                                                                        Beiträge zu

                                                    Grundlagen von Mathematik und Physik

                                                               und zur Erkenntnistheorie

        Titel (deutsch)

        Title (english)

Artikel lesen

im Format: 1)

   Definieren statt Axiomatis ieren

am Beispiel der natürlichen Zahlen

   Defining instead of Axiomatization

with Natural Numbers as an Example

odt

pdf

   Definieren statt Axiomatisieren

am Beispiel von Addition und Multiplikation

    Defining instead of Axiomatization

for Addition and Multiplication as an example

odt

pdf

Automatische Beweisverifikation statt

automatischer Beweisführung

Automatic Proof Verification versus Automatic Theorem Proving

odt

pdf

    Spezifizierung modaler Prädikate

                     und

formale Darstellung des ‚wise men‘-Puzzle

   Specification of Modal Predicates

                      and

Formalization of the ‚wise men‘ Puzzle

odt

pdf

 

 

 

Definieren und Axiomatisieren in der Physik

       am Beispiel von Kraft und Masse

Defining and Axiomatization in Physics

  with the example 'Force and Mass'

odt

pdf

 

 

 

    Diskussion von Problemen zu

Willensfreiheit, Sinnesempfindungen, Bewußtsein

Freedo m of Will, Sensation, Consciousness

      Discussion of problems

odt

pdf

Kommentare, Hinweise, Fragen usw. an den Autor: per E-Mail  Leser-an-Autor@definieren-verstehen.de

1)  Software-Voraussetzungen: