• 

  The Ultimate Challenge: The 3x+1 Problem - Google Books

  https://books.google.de/books?id=hekJ7JDMEVkC&pg=PA5&lpg=PA5&dq=the+ultimate+challenge+the+3x%2B1+problem&source=bl&ots=68N-PzDh

  The $3x+1$ problem, or Collatz problem, concerns the following seemingly innocent arithmetic procedure applied to integers: If an integer $x$ is odd then ``multiply by three and add one'', while if it is even then ``divide by two''. The $3x+1$ problem asks…

• 

  Ingo Berensmeyer, The Production of the Author

  http://www.gradnet.de/papers/pomo2.papers/berensen00.htm

  description

• 

  Franz Baader — Professur für Automatentheorie — TU Dresden

  http://lat.inf.tu-dresden.de/~baader/

  Informationen zur Lehre  Forschungsthemen  Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik)  Automatisches Beweisen (inbesondere Termersetzung und …

---

---