The Measurable Majority

당신은 집단 내에서 "다수(the majority)"가 실제로 무엇을 의미하는지 알아내려 한다고 상상해 보십시오. 보통 우리는 이것이 단순하다고 생각합니다. 만약 100명이 있고, 51명이 "예"라고 한다면, 다수가 "예"라고 한 것입니다. 하지만 집단이 더 작거나, 숫자를 세는 규칙이 이상하다면 어떻게 될까요? "대다수"가 단순히 숫자와 일치하지 않는 집단이라면 어떨까요?

Lawrence Moss와 Arthur Pedersen의 이 논문은 하나의 탐정 이야기와 같습니다. 이들은 다음과 같은 미스터리를 풀려고 노력합니다: 언제 집단의 "다수" 의견이 수학적으로 실재한다고 신뢰할 수 있으며, 언제 그것이 그저 속임수에 불과한가?

다음은 그들의 연구 결과를 일상적인 비유를 사용하여 정리한 내용입니다.

1. 설정: 투표 블록 (Voting Blocs)

저자들은 유한한 투표자 집단(예: 작은 마을이나 위원회)이 존재하는 세상을 상상합니다. 그들은 다양한 "블록" 또는 사람들의 집단(예: "피자를 좋아하는 사람들", "마을 왼쪽에 사는 사람들")을 살펴봅니다.

그들은 질문합니다: 모든 사람에게 "점수"를 부여할 수 있는가? 이때 어떤 블록이 "다수"로 간데는, 그 구성원들의 총 점수가 전체 마을 총 점수의 절반을 넘어야 한다는 조건이 성립하는가?

• 좋은 소식: 때로는 가능합니다. 단순히 머릿수를 센다면(1인당 1점), 이는 완벽하게 작동합니다.
• 나쁜 소식: 때로는 불가능합니다. "다수"를 정의하는 규칙이 논리적으로 보일지라도, 수학적으로 점수를 매기는 것이 불가능한 경우가 있습니다. 이는 마치 조각들이 물리 법칙을 거스르는 방식으로 맞물려 있는 마술과 같습니다.

2. "기이한 짝수"의 함정 (The "Oddly Even" Trap)

이 논문은 "기이한 짝수(Oddly Even)" 사회적 결정이라는 구체적인 예시를 소개합니다. 6명의 사람이 사는 마을을 상상해 보십시오.

• 규칙 A: 4명 이상의 그룹은 다수이다.
• 규칙 B: 정확히 3명의 그룹은, 그들의 ID 번호 합계가 짝수일 때만 다수이다.

이것은 꽤 합리적으로 보입니다, 그렇지 않나요? 하지만 저자들은 이것이 수학적 역설임을 증명합니다. 이 6명의 사람들에게 이러한 규칙이 작동하도록 만드는 공정한 "가중치"나 점수를 부여하는 것은 불가능합니다. 수학적으로 계산을 시도하면 숫자들이 깨져버립니다. 이는 바닥이 완벽하게 평평함에도 불구하고, 다리 각도가 어긋나 있어 아무리 조정해도 계속 흔들리는 식탁의 다리 세 개를 만드는 것과 같습니다.

3. 해결책: "일관성" 테스트 (The "Coherence" Test)

우리는 다수 규칙의 집합이 유효한지(측정 가능한지), 아니면 망가진 것인지(비일관적인지) 어떻게 알 수 있을까요?

저자들은 **일관성(Coherence)**이라 불리는 테스트를 고안했습니다. 이것을 규칙에 대한 "스트레스 테스트"라고 생각하십시오.

• 테스트: 여러 가지 서로 다른 그룹(블록)들을 줄 세운다고 상상해 보십시오.
• 조건: 만약 줄 세워진 모든 그룹이 "다수"(또는 정확히 절반)라고 주장하고, 그 줄에 등장하는 모든 사람의 횟수를 모두 세어 보았을 때, 그 누구도 절반보다 많이 등장하지 않는다면...
• 결과: 그렇다면, 그 줄에 있는 모든 그룹은 반드시 정확히 절반의 크기여야 하며, 모든 사람은 정확히 절반의 횟수로 등장해야 합니다.

만약 당신의 규칙이 이 테스트를 통과하지 못한다면, 그것은 "비일관적"입니다. 그것은 정밀한 검토 아래 무너질 수밖에 없는 카드 집과 같습니다. 만약 테스트를 통과한다면, 저자들은 공정한 점수 체계(수학적 측정치)가 반드시 존재한다는 것을 증명합니다.

위대한 발견: 이 "일관성" 테스트가 바로 유효한 다수의 정확한 정의입니다. 숫자를 먼저 찾을 필요는 없습니다. 그냥 규칙을 확인하면 됩니다. 규칙이 테스트를 통과하면 숫자는 존재합니다. 실패하면, 어떤 숫자도 그것을 작동하게 만들 수 없습니다.

4. 유명한 실수의 교정

이 논문은 또한 1974년 수학자 Patrick Suppes가 저지른 유명한 오류를 지적합니다. Suppes는 "그럴 가능성이 높음(more likely than not)"(이는 기본적으로 "다수"와 같습니다)을 정의하는 간단한 규칙을 쓰려고 했습니다.

• 오류: Suppes는 자신의 규칙이 공정한 점수의 존재를 보장하기에 충분하다고 생각했습니다.
• 교정: 저자들은 Suppes의 규칙에 결정적인 조각이 빠져 있음을 보여줍니다(일관성 테스트). "기이한 짝수" 예시를 통해, 그들은 당신이 Suppes의 규칙을 완벽하게 따르더라도 여전히 유효한 점수가 존재하지 않는 망가진 시스템을 가질 수 있음을 증명합니다. 그들은 본질적으로 우리가 확률과 투표를 이해하는 청사진을 수정했습니다.

5. "대다수"를 위한 새로운 언어

저자들은 또한 "대다수"에 대해 말하기 위한 아주 작고 단순한 언어(논리 체계)를 구축했습니다.

• 복잡한 수학이나 무한한 변수를 사용하는 대신, 그들은 "대부분의 모든 것은 X이다"와 같이 말할 수 있는 언어를 만들었습니다.
• 그들은 이 언어가 **건전(sound)**하며(절대 거짓을 말하지 않으며), **완전(complete)**하다(다수에 관한 모든 참인 명제를 증명할 수 있다)는 것을 증명했습니다.
• 이는 마치 슈퍼컴퓨터 없이도 "다수" 수학만을 완벽하게 수행하는 특화된 계산기를 가진 것과 같습니다.

6. 복잡성의 미스터리

마지막으로, 이 논문은 이러한 "망가진"(비일관적인) 시스템이 얼마나 복잡해질 수 있는지 살펴봅니다.

• 그들은 규칙이 깨졌는지 확인하기 위해 단지 몇 개의 작은 그룹만 확인해서는 안 된다는 것을 발견했습니다. 오류를 찾아내기 위해 매우 크고 복잡한 그룹들의 조합을 확인해야 할 수도 있습니다.
• 그들은 (아직 완전히 증명하지는 못했지만) 이러한 망가진 시스템이 얼마나 복잡해질 수 있는지에 대한 한계가 없다고 추측합니다. 이는 마치 공을 떨어뜨리기 전까지 얼마나 많은 조각을 저글링할 수 있는지에 대한 한계가 없는 것과 같습니다. "떨어지는 지점"은 계속 높아집니다.

요약

요컨대, 이 논문은 우리에게 민주주의를 위한 리트머스 시험지를 제공합니다. 이 논문은 어떤 투표 규칙이 수학적으로 건전한지, 그리고 언제 그것이 논리적 환상인지 정확히 알려줍니다. 이들은 오래된 수학적 실수를 바로잡고, "대다수"를 말하기 위한 단순한 언어를 만들었으며, 공정한 투표와 수학적 역설 사이의 경계가 우리가 생각하는 것보다 훨씬 더 가늘지만, 어디를 보아야 하는지 안다면 명확하게 그을 수 있다는 것을 보여주었습니다.