Null Hypothesis – The Journal of Unlikely Science is a satirical science website, which casts a wry eye over the world of science and technology. Dubbed the Private Eye of Science by the Daily Telegraph, it started as a magazine in 2004 in Bristol University by three bored postgraduate students, disillusioned by the grind of publishing papers in academia. The three behind the magazine, David Hall, Andrew Impey and Mark Steer, all have biology backgrounds, although the website covers all topics from mathematics and chemistry to social science and philosophy.
There are spoof articles and those that are real but unbelievable. The public is encouraged to contribute and have done so with a number of classic articles, including “Why toast that lands butter side down is proof of a God”, “whether bungee jumping makes your eyes pop out” and “do too many cooks spoil the broth”.
Mixed in with those nuggets of the bizarre are current news stories from around the world, which we again, encourage you to write. There are real science features, jobs, teaching ideas and commentary on day to day science.
Tohma H. Norstein (トーマ・H・ノルシュタイン) is a fictional character in the anime series Digimon Savers. In the Japanese version he is normally voiced by Hirofumi Nojima; Yuko Sato voices his younger-self.
Tohma is a 14-year-old boy genius who graduated from the Stockholm Royal University of Science at the age of 12. His abilities are considered elite, even within DATS. He bases his operations on data and theoretical principles, and as such his personality clashes with Masaru's. His mother is Japanese and his father is a prominent Austrian aristocrat. Calm and shrewd, he is the exact opposite of Masaru and sees the other boy as a rival. He has an elitist attitude but he gets emotional when thinking of his mother, who died years ago when he was young.
Tohma's partner is Gaomon, who feels that Tohma is someone to loyally follow and obey. Tohma sees the Digimon as a good friend.Also, Gaomon calls Tohma as his "Master". When Gaomon comes out of the digivice he readlly says "yes master" in the Japanese version.
A great deal of Tohma's backgrounds comes in episode 15, when MetalPhantomon manipulates his mind, feeding Tohma nightmares from the past. We learn his mother died in a horrific accident in which she was killed by a speeding truck. However, the nightmare does not have the entire desired effect on Tohma, and he pulls through, allowing Gaomon to evolve to MachGaogamon.
For general information about the name, see Helmut.
Helmut is a fictional character in Konami's role playing game Suikoden IV. He was once a captain of the Kooluk forces. He was put in charge of Razril after it was taken over by Kooluk, though he had been against invading Razril as he believed Kooluk had no reason to occupy it. He was a true commander and offered his life and services to Lazlo En Kuldes in exchange for the freedom of his men. He helped Lazlo fight against Kooluk with only one regret--disappointing his father, Colton. After his father was captured, Helmut requested that he not be immediately disposed of. After the war, he disappeared with Colton.
Tau is a robust and general purpose, interactive (live on the web), user-configurable automated theorem prover for first-order predicate logic with equality. Tau proves both theorems and arguments expressed in unrestricted first-order notation in the KIF (knowledge interchange format) language. It combines rule-based problem rewriting with model elimination (both full and weak), uses Brand’s modification method to implement equality handling, and accepts user-configurable heuristic search to speed the search for proofs. Tau optionally implements mathematical induction (both strong and weak). Formulas are input and output in KIF or its own infix first-order syntax, and other syntactic forms can be added. Tau is operated from a Web interface or from a command-line interface. It is implemented entirely in Java, and can run on any system for which a current Java Virtual Machine is available.
Other features: tautology and subsumption deletion; depth-, breadth-, and modified-best- searching; use of unit lemmas; instantiation and generalization strategies; finite model checking; extensibility.