1928年に、D. ヒルベルトとW. アッケルマンの共著書であり、第一階述語論理（狭義の述語論理）を独立した論理体系として形式化した最初の本である『記号論理学の基礎』の初版が出版されたが、この初版本において第一階述語論理の完全性は一つの未解決問題であった。この本を読み、この問題の解決に取り掛かったクルト・ゲーデルは、学位論文として1929年の秋にその結果を発表した。これがいわゆるゲーデルの完全性定理である。第一階述語論理の論理式が恒真あるいは普遍妥当であるとは、個体領域の選び方のいかんにかかわらず、その変項に代入を行っても恒にその論理式が真となることを意味する。完全性定理は、論理式が論理的に妥当ならば、その論理式の有限な演繹（形式的証明）が存在することを示した。その演繹は有限であり、人間またはコンピュータによって検証可能である。この真理値と証明可能性の関係により、数理論理学におけるモデル理論と証明論の密接な関係が確立された。完全性定理の重要な帰結の1つとして、任意の一階の理論について、その理論の公理を使った正しい演繹を全て数え上げることで、論理的帰結を数え上げることが可能であると示された。すなわち完全性定理は論理的帰結関係  と証明可能性関係  とが一致することを述べているが、後者は帰納的可算であるので前者も帰納的可算であるということである。ゲーデルの不完全性定理（この場合の「完全性」の意味は異なる）は、ある程度の初等算術を含む帰納的可算理論が無矛盾なら、その理論体系内で証明も反証もできない閉論理式が存在することを示した。その場合も、そのような理論体系に完全性定理を適用でき、その理論体系における任意の論理的帰結はその理論体系内で証明可能である。
1929年、プラハのドイツ系ハンガリー人の家に生まれる。1948年から1952年までシュトゥットガルト音楽演劇大学でヴァイオリンと指揮を学び、1952年から1958年までテュービンゲン大学でドイツ文学と音楽学を専攻。1954年から翌年までパウル・ファン・ケンペン、1960年から1962年までフェルディナント・ライトナーとセルジュ・チェリビダッケの薫陶を受けた。1962年から1967年までゲンティンゲン交響楽団の首席指揮者、1968年から1970年までニュルンベルク交響楽団の首席指揮者、1971年から1982年までボーフム交響楽団の音楽監督、1983年から1987年までオーデンセ交響楽団の芸術監督、1987年から1991年までイ・ポメリッジ・ムジカーリの首席指揮者、1992年から1996年まで韓国のKBS交響楽団の首席指揮者、2002年から2003年までクレーフェルト・メンヒェングラートバッハ劇場の音楽総監督のそれぞれを歴任。 ボーフム交響楽団時代には、フォルクヴァング大学で教鞭を取った。作曲家としても作品を残す。
2004年から産駒がデビュー。初年度からプラウドアコレイドがシャンペンステークス（米G1）に勝利。他にチャンドトゥルーがハリウッドジュヴェナイルチャンピオンシップステークスに勝利して、この年のフレッシュマンサイアーで2位に入った。この活躍を受けてスリーチムニーズファームに移動、2004年に1万ドルだった種付け料は2万5千ドルまで上がった。その後もコンスタントに活躍馬を出して最終的に51のステークスウィナーを輩出。2015年11月23日に死去。後継種牡馬としてキングスビショップステークスに勝ったザビッグビーストが2019年から産駒デビューの予定である。
ドロレス・レドンドは1969年にギプスコア県サン・セバスティアンに生まれた。ビスカヤ県ビルバオのデウスト大学で法学を学び始めたが、学位は取得していない。その後サン・セバスティアンで食科学を学び、文筆活動に専念する前にはいくつかのレストランで働いた。2006年からはナバーラ州トゥデラ郊外のシントゥルエニゴに住んでいる。短編小説や児童文学から文筆の世界に入り、2009年には処女作『Los privilegios del ángel』を刊行した。2013年前半には「バスタン渓谷三部作」の第1章である『バサジャウンの影』を刊行し、2013年11月にはシリーズ第2章である『Legado en los huesos』を、2014年11月にはシリーズ第3章である『Ofrenda a la tormenta』を刊行した。「バスタン渓谷三部作」は70万部以上を記録し、日本語を含む15か国語以上に翻訳されている。この三部作はナバーラ州北部の農村地帯バスタンを舞台としている。この三部作にはナバーラ州の郷土菓子であるチャンチゴリ（豚の脂を使る甘い菓子）が鍵となる事物として登場し、三部作のおかげでチャンチゴリはスペイン全土での知名度を得た。2016年には『Todo esto te daré』でプラネータ賞を受賞した。スティーグ・ラーソンによるスウェーデンの小説『ミレニアム』の映画シリーズで製作総指揮を務めたピーター・ネーデルマンは、レドンドの処女作が出版されてすぐに映画化の権利を取得した。フェルナンド・ゴンサレス・モリーナが監督を務め、マルタ・エトゥラが主演を務めて、2017年に『バサジャウンの影』が公開された。日本では劇場公開されていないが、Netflixで放映されている。
1878年、当時所属していたミルウォーキー・グレイズがナショナルリーグに加盟。ダルリンプルは61試合に出場して.354という高い打率を残し、この年ナショナルリーグはダルリンプルをリーグの『首位打者』と発表した。ただこの当時、打率の計算は勝敗のつかなかった試合の成績を除いて計算されており（当時ダルリンプルの打率は".356"と発表されている）、後年になって記録の見直しが行われた際に、この年の首位打者はポール・ハインズに訂正されている。ミルウォーキーは1年でナショナルリーグを離れたが、ダルリンプルは翌1879年からシカゴ・ホワイトストッキングス（現カブス）に所属し、リードオフマンを務めた。1880年にはリーグ最多となる91得点と126安打を記録する。翌1881年8月21日のバッファローとの試合では、メジャーリーグで初めて『満塁で敬遠』されたという記録が残っている。シカゴでは毎年3割前後の打率を残し、1884年には22本もの本塁打（リーグ3位）を放った。これは通算本塁打（43本）のほぼ半分にあたるのだが、この頃シカゴ・ホワイトストッキングスは外野が極端に狭いレイクフロント・パークを本拠地にしており、あまりに狭いため1883年までフェンス越えの当たりを本塁打としないルールを適用していたものを、1884年に撤廃したためでもある。ホワイトストッキングスは1885年に本拠地を移転してこの恩恵はなくなったが、同年はリーグ最多の11本塁打を記録している。1886年に打撃不振となり、ダルリンプルは同年オフにピッツバーグ・アレゲニーズに放出された。ピッツバーグに2年在籍した後一度メジャーリーグを離れたが、1891年に当時のミルウォーキー・ブルワーズがアメリカン・アソシエーションに加盟した際再びメジャーリーグに登場し、サイクル安打も記録している。メジャーで活躍したのはこの年までで、引退後1939年にイリノイ州で81歳で亡くなっている。