Experiments, Computability, and the Existence of Physical Functions

완벽한 수프 레시피를 작성하려는 셰프가 되어 상상해 보세요. 엄격한 수학자는 "누가 요리하든, 어떤 스토브를 쓰든, 어떻게 맛보든 상관없이 '완벽한 수프'라는 단일하고 보편적인 객체가 실제로 존재하는가?"라고 물을지도 모릅니다. 수학자는 모든 셰프의 수프가 약간씩 다르기 때문에 찾을 수 있는 단일한 '수프 함수'가 없을 것이라고 우려할 수 있습니다.

물리학자 이삭 페레스 카스티요가 쓴 이 논문은 이러한 우려가 실험 (또는 레시피) 이 실제로 무엇인지에 대한 오해에서 비롯되었다고 주장합니다. 저자는 우주에 떠다니는 마법 같은 보이지 않는 '완벽한 수프'를 찾기보다는 레시피 자체를 바라보기 시작하라고 제안합니다.

다음은 이 논문의 주장을 간단한 개념과 비유로 분해한 것입니다:

1. 실험은 신비가 아닌 기계입니다

논리는 다음과 같은 간단한 정의에서 시작합니다: 실험은 결과를 얻기 위해 따르는 유한한 단계의 목록일 뿐입니다.

비유: 자판기를 생각해 보세요. 특정 코드 (입력) 를 넣고, 버튼을 누르면 (절차), 몇 초 후 스낵이 떨어집니다 (출력).
핵심: 스낵이 어떻게 만들어졌는지에 대한 깊은 물리 법칙을 알지 못해도 기계가 작동한다는 것을 알 수 있습니다. 기계가 명확한 단계, 명확한 시작 방법, 명확한 종료 방법을 가지고 있다면, 그것은 '절차'입니다. 논문은 모든 실험실 실험이 바로 이런 자판기와 같다고 주장합니다. 준비된 시료를 받아 규칙을 따르고 숫자를 내뱉습니다.

2. 수학으로의 '다리' (처치 - 튜링 원리)

저자는 '물리적 처치 - 튜링 다리 원리'라는 개념을 사용합니다. 이는 다음과 같은 fancy 한 표현입니다: "사람이 결과를 얻기 위해 일련의 규칙을 따를 수 있다면, 컴퓨터도 동일한 규칙을 따라 동일한 결과를 얻을 수 있다."

비유: 로봇에게 케이크 굽는 법을 가르친다고 상상해 보세요. 사람이 따를 수 있을 정도로 명확하게 지시를 적어낼 수 있다면 (예: "2 분간 섞기", "350 도에서 굽기"), 컴퓨터도 그 지시를 따를 수 있습니다.
결론: 실험은 일련의 지시 사항일 뿐이므로 '계산 가능 (computable)'합니다. 절차가 계산 가능하면, 그것이 만드는 '지도' (입력 $\to$ 출력) 는 존재합니다. 그 절차를 실행하는 기계가 존재하므로 함수도 존재합니다.

3. '유한한 정밀도' 문제 (완벽한 숫자가 필요 없는 이유)

흔한 반박은 다음과 같습니다: "하지만 실험은 완벽하지 않습니다! 3.14 나 3.141 같은 숫자를 주지만, 정확한 무한한 숫자 $\pi$ 는 절대 주지 않습니다. 정확한 답을 얻을 수 없다면 함수가 존재할까요?"

비유: 방의 길이를 재려고 한다고 상상해 보세요. 자로 재면 10 피트, 줄자로 재면 10.1 피트, 레이저로 재면 10.12 피트입니다. '무한한' 소수점을 얻지는 못하지만 점점 더 가까워집니다.
논문의 견해: 논문은 이것이 괜찮다고 말합니다. '계산 가능한 분석 (computable analysis)'이라는 수학 분야에서는 원하는 만큼 단계별로 그 숫자에 가까워질 수 있다면 그 숫자를 '계산 가능'하다고 봅니다. 한 번에 전체 무한한 숫자를 출력할 필요는 없습니다. "더 높은 정밀도가 필요하면 이렇게 하세요"라고 말하는 절차만 있으면 됩니다.
교훈: 실험이 유효하려면 완벽한 무한 실수를 출력할 필요는 없습니다. 요청할 때마다 더 나은 근사치를 제공할 수만 있으면 됩니다.

4. '용해도' 이야기 (왜 맥락이 중요한가)

저자는 용해도 (물에서 설탕이 얼마나 녹는지) 에 대해 걱정하던 화학자 친구에 대한 이야기를 들려줍니다. 친구는 "용해도 함수가 존재할까?"라고 물었습니다. 온도를 바꾸거나, 물의 종류를 바꾸거나, 섞는 방법을 바꾸면 답이 달라지기 때문에 친구는 혼란스러워했습니다.

비유: "집의 가격은 얼마인가?"라고 묻는다고 상상해 보세요. 답은 어떤 집, 어떤 도시, 언제 묻느냐에 따라 완전히 달라집니다. 우주 전체에 적용되는 단일한 '집 가격'은 없습니다.
논문의 해결책: 논문은 "네, 함수는 존재하지만 사용하는 특정 레시피에 대해서만 존재합니다"라고 말합니다.
- 온도, 물의 종류, 섞는 방법을 고정하면 특정 '용해도 기계'를 갖게 됩니다.
- 그 기계는 특정 지도를 계산합니다.
- 그 기계에 대해 함수는 존재합니다.
- 레시피를 바꾸면 (예: 찬물 대신 뜨거운 물 사용), 다른 지도를 계산하는 다른 기계를 만드는 것입니다.

5. 무작위성은 어떨까요? (주사위 던지기)

일부 실험은 무작위적입니다. 같은 테스트를 열 번 수행하면 열 개의 약간 다른 숫자가 나올 수 있습니다. 그래도 함수는 존재할까요?

비유: 슬롯머신을 상상해 보세요. 레버를 당기면 (입력), 무작위 숫자가 나옵니다 (출력). 결과는 매번 같지 않습니다.
논문의 견해: 함수는 여전히 존재합니다! 하지만 하나의 특정 숫자를 주는 지도 대신, 함수는 이제 숫자의 분포를 주는 지도 (무작위성의 패턴) 가 됩니다.
실험은 '샘플러'를 계산합니다. 단일 점을 주는 것이 아니라, 신뢰할 수 있는 점들의 패턴을 줍니다. 존재성 주장은 유효하며, 객체는 단순히 하나의 점 모양에서 점들의 구름 모양으로 변할 뿐입니다.

요약: 논문이 실제로 주장하는 바

이 논문은 물리학의 모든 것이 계산 가능한 것이라고 주장하거나, 모든 실험이 결국 하나의 단일한 '보편적 진리'에 동의할 것이라고 주장하지 않습니다.

대신 훨씬 더 단순하고 날카로운 주장을 합니다:

마법을 찾지 마세요: 추상적으로 '완벽하고 프로토콜에 독립적인' 함수가 존재하는지 걱정하지 마세요.
절차를 보세요: 고정된 레시피 (프로토콜), 고정된 규칙 집합, 그리고 결과를 보고하는 방법이 있다면, 그 레시피는 함수 그 자체입니다.
실행되므로 존재합니다: 레시피가 컴퓨터가 따를 수 있는 유한한 단계의 집합이므로, 그것이 계산하는 함수는 존재합니다.
맥락이 왕입니다: 함수는 수행 중인 특정 실험에 속합니다. 실험을 바꾸면 다른 함수가 나옵니다. 이것이 첫 번째 함수가 존재하지 않았다는 뜻이 아닙니다. 단지 기계를 바꿨을 뿐입니다.

핵심 결론:
이 논문은 "진정한 용해도가 존재하는가?"라고 묻는 것을 멈추고, "이 특정 실험은 무엇을 계산하는가?"라고 묻기 시작하라고 말합니다. 실험을 명확하게 정의하는 순간, 답은 항상 "네, 그것은 함수를 계산합니다"입니다. 함수는 기계의 출력 속에 바로 존재합니다.

기술적 요약: 실험, 계산 가능성, 그리고 물리적 함수의 존재

문제 제기
본 논문은 물리적 함수의 "존재"와 관련하여 실험 과학이 직면한 개념적 어려움을 다룬다. 용해도 함수의 예를 들어, 저자는 실험실에서 routinely(일상적으로) 양을 측정하지만, 보고되는 값은 용매, 온도, 평형화 기준, 시료 준비와 같은 구체적인 프로토콜과 보고 관례에 크게 의존한다고 지적한다. 이러한 의존성은 프로토콜과 무관하게 잘 정의된 수학적 함수가 존재하는지에 대한 의문을 제기한다. 전통적인 수학적 관점은 종종 함수가 프로토콜과 무관한 정의역과 공역을 가진 잘 정의된 공간 사이의 연속 사상으로 요구함으로써, 복잡한 실험적 맥락에서 그러한 함수의 존재에 대해 회의적인 입장을 취해 왔다. 본 논문은 계산 가능성 이론의 렌즈를 통해 존재 문제를 재구성함으로써 이를 해결하고자 한다.

방법론
저자는 측정의 철학, 계량학 (특히『계량학 국제 용어집』및『측정 불확도 표현 가이드』), 그리고 계산적 분석을 결합한 프레임워크를 활용한다. 핵심적인 방법론적 전환은 시간에 따라 진화하는 물리적 과정이 아니라, 허용 가능한 입력을 유한한 보고로 매핑하는 유한하고 유효한 절차(알고리즘) 로서 재현 가능한 실험실 실험을 취급하는 것이다.

논증은 세 가지 논리적 단계로 진행된다:

구조적 분석: 프로토콜 ( $P$ ), 배경 조건 ( $C$ ), 그리고 유한한 출력으로 종료되는 보고 규칙 ( $R$ ) 을 포함하는 일련의 단계로서 실험을 정의한다.
연결 원리: 제한된 물리적 튜링 - 처치 연결 원리를 도입한다. 이 명제는 고정되고, 유한하게 명시되며, 재현 가능한 실험실 프로토콜마다 해당 프로토콜의 입력 - 출력 행동을 재현하는 튜링 계산 가능한 절차가 존재한다고 주장한다.
계산적 분석: 유한 정밀도 측정과 확률적 요소를 처리하기 위해 계산적 분석의 도구를 적용하여, 유한한 보고의 직접적 계산과 실수 값 양의 근사화 사이를 구분한다.

주요 기여 및 결과

계산된 사상의 존재 (명제 1):
본 논문은 고정된 실험 프로토콜이 $F: D \to \text{Rep}_{\text{fin}}$ 인 계산 가능한 함수를 정의함을 확립한다. 여기서 $D$ 는 허용 가능한 유한 입력 설명의 집합이고, $\text{Rep}_{\text{fin}}$ 은 유한한 보고 객체 (예: 유리수, 구간, 불확실성을 포함한 문자열) 의 집합이다. 물리적 튜링 - 처치 연결 원리에 따라, 실험은 보고로 종료되는 유효한 절차이므로, 이 사상 (map) 이 계산하는 함수는 최소한의 수학적 의미에서 존재한다. 함수의 존재는 전제 조건이 아니라, 실험이 종료되는 유효한 절차라는 사실의 결과이다.
유한 정밀도와 실수 값 이상화 (명제 2):
본 논문은 실험이 단일 단계에서 정확한 실수를 출력하지 않는다고 명확히 한다. 대신 계산적 분석을 사용하여, 요청된 임의의 정밀도 ( $|q_n - y| \le 2^{-n}$ ) 에 대해 유리수 근사치를 생성하는 절차가 존재할 때 실수 값 양이 계산 가능하다고 간주한다. 본 논문은 유한 정밀도 측정이 실수 값 함수의 존재를 방해하는 것이 아니라, 오히려 그 함수가 계산되는 메커니즘이라고 주장한다. 이 의미에서 실수 값 함수가 존재하려면, 유한한 보고들이 목표 값으로 수렴하는 일관된 정제 체계 (예: 통합 시간 또는 반복 횟수의 증가) 로 조직될 수 있어야 한다.
프로토콜 의존성과 조작적 측정량:
본 논문은 단일 프로토콜과 무관한 함수가 존재하기 위해 필수적이라는 아이디어를 명시적으로 거부한다. 대신 프로토콜, 조건, 보고 규칙에 특정한 조작적 측정량(operational measurand) ( $F_{P,C,R}$ ) 을 정의한다. 이러한 매개변수를 변경하면 계산된 사상도 변경된다. 서로 다른 프로토콜이 동일한 근본적인 양을 측정하는지 여부는 특정 프로토콜에 의해 계산된 함수의 존재에 대한 전제 조건이 아니라, 보정 및 견고성 논증이 필요한 별도의 상위 수준 과학적 성취의 문제이다.
계산 가능한 객체로서의 확률성:
반복 실행 시 서로 다른 보고를 산출하는 확률적 실험의 경우, 계산된 객체는 존재의 실패가 아니라 함수 유형의 전환이라고 주장한다. 확률적 사례에서 실험은 보고에 대한 확률 분포 ( $\mu_{x,k}$ ) 를 위한 샘플링 절차를 계산한다. 존재 주장은 유효하다: 실험은 결정론적인 점 값 사상 대신, 입력에서 보고 분포 (또는 이를 위한 샘플러) 로 가는 계산 가능한 사상을 정의한다.

의의 및 범위
본 논문의 의의는 과학 철학에서 종종 혼동되는 세 가지 구별된 문제를 분리하는 데 있다:

함수가 존재하는가? (연결 원리를 통해 고정된 프로토콜에 대해 긍정적으로 답변됨)
함수가 계산 가능한가? (연결 원리 하에서 긍정적으로 답변됨)
서로 다른 프로토콜의 결과가 동일한 양을 측정하는가? (수렴과 보정이 필요한 별도의 과학적 문제)

저자는 주장의 범위를 명시적으로 제한한다:

본 논문은 모든 물리적 과정이나 임의의 물리적 진화에 대한 보편적인 물리적 튜링 - 처치 명제를 증명하는 것이 아니다.
모든 프로토콜이 단일 프로토콜과 무관한 실수 값 양으로 수렴한다고 주장하는 것이 아니다.
계산 복잡성이나 이러한 함수를 평가하는 실제적 타당성을 다루는 것이 아니다.

결론적으로, 실험이 유한한 종료 절차로 명시되면 물리적 함수의 "존재"는 확보된다. 그 후 과학적 작업은 존재를 증명하는 것에서 계산된 사상의 구조를 설명하고, 프로토콜 간에 이를 비교하며, 프로토콜과 무관한 양으로의 통합이 언제 정당화되는지 결정하는 것으로 전환된다. 이는 측정되지 않은 양의 실재성에 대한 형이상학적 우려를 구체적인 실험 절차가 실제로 무엇을 계산하는지에 대한 방법론적 분석으로 재구성한다.