Роберт Розен при построении реляционной биологии уделял внимание физическому тезису Чёрча. В 1962 году он провел первое рассмотрение этого вопроса в статье 'Тезис Черча и его связь с концепцией реализуемости в биологии и физике':
'Гипотеза о том, что каждая числовая функция, которая в любом значении "эффективно вычислима", также должна быть рекурсивной или вычисляемой (в смысле Тьюринга), называется тезисом Чёрча. ... помимо его чисто логического содержания, этот тезис может быть истолкован как утверждение о том, что определенный класс физических процессов (а именно, тех, которые способны вычислять значения функции, не поддающейся вычислению по Тьюрингу) не может существовать. В такой интерпретации тезис Чёрча можно с полным основанием рассматривать как утверждение чистой физики.'
'Следует упомянуть возможный биофизический вывод из нашего обсуждения. Если рациональные свойства разума рассматривать как проявление сложной физической системы, способной функционировать в качестве вычислительного агента, то из верности тезиса Чёрча в его физической форме следует, что любая вычислительная схема, которую может изобрести разум, может быть выполнена машиной Тьюринга. Более того, поскольку каждая схема эффективного вычисления значений числовой функции является результатом умственных усилий, мы вполне можем приблизиться к доказательству тезиса Чёрча в его первоначальном виде.'
Конечный результат этих размышлений Розена выражен в резюме статьи Алоизиуса Луи (работал вместе с Розеном) 'Реляционная биология и тезис Чёрча':
'Тезис Черча - это метаматематическая гипотеза, которая утверждает, что понятия эффективной вычислимости и вычисляемости совпадают. Разумно считать "эффективным" все, что происходит в материальном мире. Если бы тезис Черча был справедлив в мире природы, то это означало бы, что все материальные процессы могут быть выражены в рамках чистого синтаксиса. Из реляционной биологии следует, что живая система должна иметь невычисляемые модели. Таким образом существование живых систем подразумевает, что тезис Черча как физическое утверждение ложен.'
Robert Rosen, Church’s thesis and its relation to the concept of realizability in biology and physics, Bulletin of Mathematical Biophysics 24 (1962), 375–393.
Aloisius H. Louie, Relational biology and Church's thesis. Biosystems 197 (2020): 104179.