Question mark
The rhetorical question mark or percontation point was invented by Henry Denham in the 1580s and was used at the end of a rhetorical question; however, its use died out in the 17th century. It was later revived in modern-day society by Matt DiRoberto. It was the reverse of an ordinary question mark, so that instead of the main opening pointing back into the sentence, it opened away from it. This character can be represented using the reversed question mark (⸮) found in Unicode as U+2E2E. The percontation point is analogous to the irony mark, but those are even more rarely seen.
Entscheidungsproblem
The origin of the " goes back to Gottfried Leibniz, who in the seventeenth century, after having constructed a successful mechanical calculating machine, dreamt of building a machine that could manipulate symbols in order to determine the truth values of mathematical statements. He realized that the first step would have to be a clean formal language, and much of his subsequent work was directed towards that goal. In 1928, David Hilbert and Wilhelm Ackermann posed the question in the form outlined above.