Гомологичная рекомбинация
В начале 1900-х годов Уильям Бейтсон и Реджинальд Паннет нашли исключение из одного из законов Менделя, первоначально описанных Грегором Менделем в 1860-х годах. В отличие от идеи Менделя о том, что признаки наследуются независимо друг от друга при передаче их потомству, Бейтсон и Паннет показали, что некоторые гены, связанные с физическими признаками, могут быть унаследованы вместе, или генетически связаны. В 1911 году, когда выяснилось, что связанные черты могут иногда передаваться отдельно, Томас Хант Морган предположил, что между связанными генами происходит кроссинговер, во время которого один из сцепленных генов физически переходит на другую хромосому. Двадцать лет спустя Барбара Мак-Клинток и Харриет Крейтон доказали, что обмен участками хромосом происходит при мейозе, который обычно происходит при образовании гамет. В тот же год, когда было совершено открытие Мак-Клинток, Курт Штерн показал, что кроссинговер может также происходить в соматических клетках, таких как лейкоциты и клетки кожи, которые делятся митозом.
Исчисление секвенций
Понятие секвенции для систематического использования в доказательствах в форме дерева вывода ввёл в 1929 году немецкий физик и логик , но целостного исчисления для какой-либо логической теории в его трудах построено не было. В работе 1932 года Генцен попытался развить подход Герца, но в 1934 году отказался от наработок Герца: ввёл системы натурального вывода formula_3 и formula_4 для классического и интуиционистского исчислений предикатов соответственно, использующие обычные тавтологии и деревья вывода, и, как их структурное развитие, — секвенциальные системы formula_1 и formula_2. Для formula_1 и formula_2 Генценом доказана устранимость сечения, что дало значительный методологический импульс намеченной Гильбертом теории доказательств: в той же работе Генцен впервые доказал полноту интуиционистского исчисления предикатов, а в 1936 году — доказал непротиворечивость аксиоматики Пеано для целых чисел, расширив её с помощью секвенциального варианта formula_3 трансфинитной индукцией до ординала formula_10. Последний результат имел также и особую идеологическую значимость в свете пессимизма начала 1930-х годов в связи с теоремой Гёделя о неполноте, согласно которой непротиворечивость арифметики невозможно установить её собственными средствами: нашлось достаточно естественное расширение арифметики логикой, устраняющее это ограничение.