Johann Christian von Stramberg

Johann Christian Hermenegild Joseph Franz de Paula Benjamin von Stramberg (13 October 1785 – 20 July 1868), commonly known as Johann Christian von Stramberg or Christian von Stramberg was a German historian.

Portrait of Stramberg from Stadtarchiv Koblenz

He was born in Koblenz. He is best known as author of the 39-volume Rheinischer Antiquarius (1845–1871), with five of its volumes being issued after his death by Anton Joseph Weidenbach.[1]

Sources
  1. Johann Christian von Stramberg de.Wikisource


gollark: Oh hypermemetic ultrabees.
gollark: ```pythonfrom z3 import *iters = [ Int(f"x{i}") for i in range(40) ]solver = Solver()for n,x in enumerate(iters): if n == 0: solver.add(x == 1111111) else: last = iters[n - 1] solver.add(Or(x == last, (x * 2) == last, x == ((last * 3) + 1)))solver.add(iters[-1] == 1)print(solver.check())print(solver.model())```This is the *best* way to do collatz.
gollark: It's a theorem prover. It can tell you if certain statements/sets of statements are satisfiable, and if so how.
gollark: And I don't think rust does TCO in general.
gollark: Halting is a side effect though.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.