논리적 합사Logical conjunction 와 이론 컴퓨터과학의 공리체계의 구조

[dhleepaul]

논리적 합사Logical conjunction 

논리적 합사Logical conjunction

수학과 논리학에서 공리 체계 또는 공리 체계는 이론 컴퓨터 과학에서도 사용되는 표준 연역적 논리 구조의 한 형태입니다. 이는 다른 명제들의 논리적 연역에 사용되는 공리라고 불리는 형식적 명제들의 집합으로 구성됩니다. 수학에서 이러한 공리들의 논리적 결과는 보조정리 또는 정리라고 불릴 수 있습니다. 수학 이론은 공리 체계와 그 모든 도출 정리를 지칭하는 표현입니다.

공리적 체계 내에서의 증명은 공리의 결과로 새로운 명제를 확립하는 연역적 단계의 연속이다. 공리 체계 자체는 의도적으로 통사적 구성물이다: 공리가 자연어로 표현될 때, 이는 책과 기술 논문에서 흔히 볼 수 있으며, 명사는 자리 표시어로 의도된다. 공리적 접근법의 사용은 명사가 실제 의미 가치를 가질 수 있는 비공식적 추론에서 벗어나 형식적 증명으로 나아가는 것이다. 완전한 형식적 환경에서는 술어 계산법과 같은 논리 체계가 증명에 사용되어야 한다. 형식적 공리적 추론의 현대적 적용은 의미론적 고려를 배제하는 것과 사용되는 논리 체계의 명세에서 전통적 방법과 다르다.

수학에서의 공리적 방법

명제들의 집합을 특정 공리들의 집합으로 환원하는 것이 수학 연구의 근간이다. 이 의존성은 20세기 전반기 수학에서 매우 두드러지고 논쟁적이었으며, 이 시기에는 공리적 방법의 주요 이정표들이 속한다. 1933년 안드레이 콜모고로프의 확률 공리가 두드러진 예이다. [1] 이 접근법은 때때로 "형식주의"로 공격받았는데, 이는 수학자들과 수학을 적용하는 이들의 직관의 일부를 잘라냈기 때문이다. 역사적 맥락에서 이 형식주의는 현재 연역주의로 논의되며, 여전히 수학에 널리 사용되는 철학적 접근법이다. [2]

1900년까지의 공리체계 연대표

추가 정보: 수학의 역사

주요 공리 체계들은 19세기에 개발되었다. 여기에는 비유클리드 기하학, 게오르크 칸토어의 추상 집합론, 그리고 유클리드 기하학을 위한 힐베르트의 수정주의 공리들이 포함되었다.

날짜저자작품댓글

Fourth century BCE to third century BCE	Euclid of Alexandria	The Elements	Known as the earliest extant axiomatic presentation of Euclidean plane geometry, covering also parts of number theory.[3]
published 1677	Baruch Spinoza	Ethica, ordine geometrico demonstrata	Just as for Principia philosophiae cartesianae of 1663, Spinoza in his Ethics claimed to be using the "geometric method" of Euclid. A modern view is "the contrast is glaring between the aspiration to prove points by way of deductive argument from self-evident axioms and the obvious source of those points from experience of life and at best some mix of theory and intuition."[4]
1829	Nikolai Lobachevsky	О началах геометрии ("On the Origin of Geometry")	Lobachevsky's paper is now recognised as the first publication on axiomatic plane geometry developed without the parallel axiom of Euclid, so founding the subject of non-Euclidean geometry.
1879	Gottlob Frege	Begriffschrift	Frege published a formal system for the foundations of mathematics. In modern parlance, it was a second-order logic,[5] with identity relation. It was expressed in a linear notation for parse trees.
1882/3 to 1890s	Walther von Dyck	Axioms for abstract group theory	Von Dyck is credited with the now-standard group theory axioms.[6] It is clear from von Dyck's introduction of free groups that he was working with the standard concept of abstract group. It is not, however, evident whether the existence of inverse elements was axiomatic: it would follow from the semantic assumption that groups were permutation groups (permutations being invertible by definition) or geometric transformations with the same property. The discursive style of the period did not labour such points. James Pierpont, one of the American "postulate theorists", did have by 1896 a set of axioms for groups. It is of the modern type, though uniqueness of the identity element (for example) was not assumed.[7]
1888	Richard Dedekind	construction of the real numbers	When Dedekind introduced his construction of real numbers by Dedekind cuts, axioms for the reals were already mathematical folklore; a subset of those would, later, define ordered field. The further requirement was a theory of mathematical limits.[8] For example, to capture the idea that the real number line forms a linear continuum means dealing with the historical Zeno's paradoxes; and also clarifying the issue of decimal representations not being unique, so that 0.999...=1, by subjecting it to a mathematical proof. Dedekind's modelling of axioms of the reals put these matters on a firm footing. In practice, the theorems proved using Dedekind cuts that were fundamental results in real analysis could also be proved for other constructions, for example using Cauchy sequences of rational numbers. In other words, they were verifiable axioms, an example being the Archimedean property.
1889	Giuseppe Peano	Arithmetices principia, nova methodo exposita	After some earlier work of others, the Peano axioms provided an axiomatic basis for the arithmetical operations on natural numbers, and mathematical induction, that gained wide acceptance.
1898	Alfred North Whitehead	Treatise on Universal Algebra	Whitehead gave the first axiomatic system for Boolean algebra, as introduced by George Boole in fundamental work on logic and probability.[9]
1899	David Hilbert	Grundlagen der Geometrie	Presented what are now known as Hilbert's axioms, a revised axiomatization of solid geometry.

20세기 초 상황

데이비드 힐베르트 "수학의 기초 연구를 위한 탐구 틀로서 공리적 방법을 명시적으로 처음으로 채택한 인물"이다. [10] 힐베르트에게 중요한 근본적 쟁점은 칸토어 집합론의 논리적 지위였다. 1900년 수리에서 풀리지 않은 23개의 문제 목록에서 힐베르트는 연속체 가설을 첫 번째 문제로 삼았다. [11]

힐베르트의 여섯 번째 문제는 "수학이 중요한 역할을 하는 모든 과학 분야의 공리화"를 요구했다. 그는 적어도 수리물리학과 확률의 주요 분야를 염두에 두고 있었다. [12][13] 과학에 미친 영향에 대해 조르지오 이스라엘은 다음과 같이 썼다:

수학자 펠릭스 클라인이 설립했습니다... 괴팅겐 학파는 다비드 힐베르트의 영향 아래 ... 집합론, 함수해석학, 양자역학, 수리논리학. 이 연구는 확률 이론에서 이론 물리학에 이르기까지 20세기 과학을 혁신할 공리적 방법을 체계적 원칙으로 채택함으로써 이를 수행했다. [14]

이스라엘은 적어도 프랑스와 이탈리아에서 이 '독일 모델'과 그 국제적 범위에 대한 문화적 저항에 대해 언급한다. [14] 초대 국제 수학자 대회에서는 프랑스의 앙리 푸앵카레가 수학물리학에 대해 제시한 견해를 들었으며; 힐베르트의 명단은 제2차 대회에 제출된 것이었다. [15] 이탈리아 대수기하학파는 이론 구축과 교육학에서 공리적 작업에 대해 다른 태도를 취했다. [16]

1901년부터의 공리체계 연대표

1950년까지의 기간 동안, 순수 수학의 많은 부분이 널리 인정받는 공리적 기초를 갖게 되었다. 공리적 집합론에서는 여러 체계가 공존했다. 수학은 더 탄탄하고 덜 비공식적인 스타일로 쓰이기 시작했다.

반면, 힐베르트와 관련된 공리적 방법을 근본적으로 보는 접근법은 비판을 받았다. L. E. J. 브라우어가 힐베르트의 전체 프로그램에 대한 비판의 일부는 아렌트 헤이팅에 의해 직관주의적 명제 논리의 공리화로 이어졌다. [17] 이 해석은 수학에서의 구성주의를 논리적 미적분학의 교환을 통해 '연역주의'와 조화시킬 수 있게 했으며, 이는 브라우어–헤이팅–콜모고로프 해석이라는 명칭으로 이루어졌다.

날짜저자작품댓글

1908년부터 1922년까지	에른스트 체르멜로와 아브라함 프렌켈	체르멜로-프렌켈 집합론	1908년의 체르멜로 집합론을 바탕으로, 체르멜로-프렌켈(ZF) 이론은 명확한 공리 체계를 가진 집합론의 공리적 기초를 제공했으며(1차 논리에 제한을 적용함), 선택 공리가 추가되면서 ZFC 이론은 고전 수학의 많은 부분에 실질적인 기초를 제공했다. [18]
1910	에른스트 슈타이니츠	Körper 대수학 이론	스타이니츠는 쿠르트 헨젤이 p-진 수(p-adic numbers)를 도입한 영향으로 추상대수학에서 체 개념에 대한 공리적 이론을 제시했다. [19]
1911년부터 1913년까지	알프레드 노스 화이트헤드와 버트런드 러셀	『수학 원리』(3권)	수학의 공리적 형식화 원리에 전념한 저작으로, 유형 이론의 독특한 버전(분열 유형 이론)을 통해 집합론 역설을 다루었다. 이 체계는 외연성 공리를 포함하지 않는다. [20][21]
1913	헤르만 바이얼	Die Idee der Riemannschen Fläche[22]	바일은 복소해석학의 리만 곡면 개념에 공리적 처리를 부여하여, 이를 이웃 시스템 관점에서 1차원 복소 다양체로 정의했다. [23]
1914	펠릭스 하우스도르프	Grundzüge der Mengenlehre	이 책에는 현재 하우스도르프 위상 공간이라 불리는 공리들이 포함되어 있었으며, 이는 바일의 근방 개념 사용을 바탕으로 한 것이다. [23]
1915	모리스 프레셰	측도 공간에 대한 추상적 측도들	르베그 측도와 관련 적분의 개념은 처음에 실수선과 유클리드 공간에서 도입되었으며, 집합계 위에서 공리적으로 다뤄졌다. [24]
1920	스테판 바나흐	완전 노름 벡터 공간	현재 바나흐 공간으로 알려진 이 공간은 함수해석학의 고전적인 설정입니다; 처음에는 실수 벡터 공간이 가정되었다. [25]
1921	존 메이너드 케인스	확률에 관한 논문	케인스의 연구는 프린키피아 마테마티카의 영향 아래 확률을 논리학에 종속시켰다. 이 연구는 확률 해석에 대한 공리적 접근을 제공했다.
1921	에미 노터	링베라이헨에서의 이상론[26]	노터의 논문은 아이디얼에 대한 상승 사슬 조건을 가환환에서 공리로 도입하여, 현재 노터리안 환이라 불리는 하위 클래스를 제공했다. 이 방법은 힐베르트의 기저정리를 간단히 귀납적으로 증명할 수 있게 해주었다. 또한 추상대수학에서 '시대(epoch)'의 시작으로 간주됩니다. [27][28]
1923	노버트 비너	위너 공정	위너는 브라운 운동의 확률적 과정 모델을 정의하는 측도를 구성했다. [29]
1932	오스왈드 베블렌과 J. H. C. 화이트헤드	미분기하학의 기초 (1932)	이 연구는 미분 다양체의 공리적 정의를 제공했으나, 분리 공리와 관련된 몇 가지 문제를 제외하고는 그렇다.
1932	요한 폰 노이만	양자기계학의 수학 기초, 디랙-폰 노이만 공리들	양자역학의 수학적 공식화에 기여한 이 작품은 1927년 폰 노이만의 논문에서 시작되었으며, 폴 디랙의 표기법을 형식적으로 모델링한 양자역학의 기초 저작들을 공리화하는 것을 제안했다. 추상적인 힐베르트 공간 방법과 무한 연산자를 사용했다. [31]
1933	안드레이 콜모고로프	확률 공리	콜모고로프의 연구는 사실상 수학적 확률을 측도 이론에 종속시키면서도 해석은 열려 있게 했다. 따라서 그는 르베그 적분 위에 기대값을 구축했다. [32] 세기 초 게오르크 볼만부터 수많은 공리적 공식화가 있었다. 확률을 시그마-가법 집합 함수로 만드는 것은 결정적이었다. [33]
1945	사무엘 아일렌버그와 노먼 스틴로드	아일렌버그–스틴로드 공리	대수적 위상수학에서 호몰로지 이론을 위한 공리적 체계로서, 노터가 호몰로지 클래스를 추상적 대수 원리에 따라 조직할 것을 주장한 이후 발전을 반영했다. [27]
1945–1950	로랑 슈워츠	분포 이론	슈워츠는 테스트 함수의 위상 벡터 공간에 대한 이중성을 사용하여 디랙 델타 함수와 여러 형식 연산자 방법, 그리고 전류의 기하학적 이론을 통합된 공리적 처리를 제공했다. [34]

20세기 중반의 상황

1950년 수학의 세 가지 주요 특징은 다음과 같다:

• 프랑스에서 부르바키 그룹이 계속 출판하는 도서 시리즈 『수학 연구』. 기초 개념을 백과사전적으로 다루는 것을 목표로 했다.
• André Weil의 『대수기하학의 기초』 출판 이후, 대수기하학 기초의 역동적인 상황.
• 만족스러운 공리적 기초가 부족한 양자장 이론(QFT)입니다.

부르바키의 공리학

부르바키의 목표는 수학의 광범위한 접근법에 있었는데, 이는 다음과 같다: (a) 집합론의 간소화된 논리적 기초에 기반한 공리적; (b) 힐베르트와 괴팅겐 학파의 전통을 따르되, 물리학과 계산의 요구는 제외하고; (c) 현재 사태에 대한 프랑스의 수용. 초기 연구는 20세기 초 에두아르 구르사(Édouard Goursat)의 고전 해석학 표준 교재인 『수학 분석(Cours d'analyse mathématique)』에 대한 젊은 터키인들의 격렬한 반발과, 1930년대 초 바르텔 렌더트 판 데르 바에르덴(Bartel Leendert van der Waerden)의 추상대수학 교재 『현대대수학(Moderne Algebra)』에 대한 강한 반발로 이루어졌다. [35]

1950년의 필명 논문, 사실 장 디외도네의 연구는 부르바키의 공리적 방법에 대한 태도를 설명했다. [36][37] 공리적으로 작업하는 주요 이점은 수학적 "형태" 또는 구조의 "상세화"에 있다고 주장된다; 이는 기초 작업과 추론의 명확화보다 우선합니다. 디우도네가 쓴 것은 힐베르트의 접근법에서 벗어난 당시의 것이었고, 범주론의 사상이 암시하는 의미의 구조에 도달한 것은 아니었다. [37]

추상 다양체의 연대표[

유한체 위의 곡선에 대한 리만 가설 증명을 설명하기 위해 바일은 곡선의 야코비안과 교차 이론의 일부 결과를 활용했다. 그는 복소수가 아닌 특성 p의 체를 대상으로 연구했기 때문에, 고전적 결과를 이어가려면 순수하게 대수적 증명이 필요했다. 더 나아가 그는 야코비안을 "추상 다양체"로 구성했는데, 이는 복소 사영 공간에서 발견되는 사영 대수 다양체가 아닌 내재적 수학적 대상이었다.

한 세대 후, 로빈 하트숀(Robin Hartshorne)의 교과서 『대수기하학(Algebraic Geometry)』이 출간되면서 '추상 다양성'은 스킴 이론 내에서 표준 정의를 갖게 되었다. [38]

날짜저자작품댓글

1882	리하르트 데데킨트와 하인리히 마르틴 베버	Theorie der algebraischen Functionen einer Veränderlichen	복소수 위에 정의된 환약 불가능 대수 곡선 C와 그 함수체 F에 대해, 데데킨트와 베버는 F가 그 몫체인 부분환 R을 고려했다. R에서의 아이디얼 연구는 유한한 예외를 제외한 C의 점들을 회복했다. 이 설정은 리만-로흐 정리를 증명하기에 충분했다. [39]
1910	에른스트 슈타이니츠	대수적 폐포	임의의 체 K는 대수적 폐포체를 가지며, 이는 본질적으로 유일한 체로, 한 변수의 모든 다항식의 근이 K에 속하는 계수를 갖는다. [40] 대수학 기본 정리의 내용은 복소수가 실수의 대수적 폐포라는 말에 해당한다. 임의의 체 K 위의 대수기하학은 임의의 변수 수의 다항식 시스템에 대한 대수적 폐포 내의 해의 집합들을 연구하는 것으로 생각할 수 있다.
약 1911–1921	하인리히 콘블룸(1890–1914), 에밀 아르틴	국소 제타 함수	콘블룸의 논문에서 디리클레의 산술 수열 정리의 다항식 환 유사체에 관한 L-함수의 비소멸 유사 논문이 사용된 후, 아르틴의 논문 'Quadratische Körper im Gebiete der höheren Kongruenzen'에서 유한체 위의 초타원 곡선에 관한 것은 현재 유한체 위의 다양체의 국소 제타 함수로 불리는 생성 함수를 논의했다. [41] 유리 함수로서 명확한 극점을 가졌다; 그 0은 리만 가설의 아날로그로서 연구 주제가 되었다.
1931	프리드리히 칼 슈미트	곡선의 국소 제타 함수에 대한 함수 방정식	바일은 슈미트의 연구(리만-로흐 정리를 적용해 리만 함수 방정식의 유사체를 증명한 것)와 하세의 타원 곡선 정리 모두 데데킨트-베버 기초의 단순한 확장을 사용했다고 언급했다. 유한체의 대수적 폐포를 상수체로 받아들였다. [42]
1932	볼프강 크룰	Allgemeine Bewertungstheorie[43]	크룰은 평가 개념에 대한 공리를 제시했다. 대수 다양체의 함수체의 가치 집합은 다양체의 쌍유리기하학과 관련이 있다; 곡선의 경우에만 다양체의 점들과의 관계가 명확하다. 가치 평가에 기반한 장소 용어는 기하학자 오스카 자리스키와 슈리람 아브얀카르가 사용했다. [44] 자리스키는 1930년대부터 데데킨트-베버 논문에 영향을 받았다고 밝혔다. [39]
1941	앙드레 와일	추상 변종	1941년 봄 프린스턴에서 유한체 위의 곡선에 대한 리만 가설의 완전한 기초를 시도할 때, 대수적 폐포에 대해 야코비안 다양체를 일부 사용해야 했다. 그는 나중에 에미 노터 학파의 대수학자들이 이탈리아 기하학자들의 이중유리론적 관점에 너무 가까웠다고 언급했다. 그의 필요는 대칭곱을 통한 야코비안의 이중유리적 접근법으로는 충족되지 않았다. 그는 제이콥 양식의 '조각'을 덧셈 구조를 가진 '조각'을 '추상적인' 변종으로 사용했다. 그는 이 아이디어가 프란체스코 세베리의 『기하학 대수학 번역: 1부』에서 암시된 것을 발견했다. 『계형 기하학』(1926), 283–284쪽. [45]
1944	오스카 자리스키	자리스키의 추상적 리만 곡면(다양체)	아핀 공간에 대해 대수 집합을 닫힌 집합으로 만드는 자리스키 위상은 1941년경 프린스턴에서 자리스키가 한 콜로키움 강연 이후 등장했다. [46] 몇 년간 수학 민속학에 불과했던 후, 자리스키는 평가에 관한 관련 결과를 발표했다. 체(K)와 부분환 A에 대해, 자리스키는 A를 포함하는 가치환의 집합을 고려했고, 몫체가 K와 같다고 생각했다. 이러한 가치환들의 부분집합들은 위상수에 대한 열린 집합들의 기저를 제공했다; 그리고 기하학적 경우에 자리스키는 가치환 공간이 준콤팩트(quasi-compact)가 되었음을 증명했다(즉, 일반 하우스도르프 공간이 아니라 콤팩트 공간의 열린 덮개 성질을 가지는 것). [47]
1942–1944	앙드레 와일	추상 다양체를 위한 차트	바일 자신도 몇 년 후 출판한 『대수기하학 기초의 7장』을 집필 중이었으며, 이는 몇 가지 작업 가정 하에 있었다. 그는 자신이 '지도 제작법'이라 부르는 방식을 베일, 하우스도르프, 베블렌과 화이트헤드가 적용한 방식을 채택했다; 그는 다양체에 대해 아직 인쇄되지 않았고 쌍유리기하학과 관련된 자리스키 위상수를 사용하지 않았다. 그는 교차 번호를 국소적으로만 정의했다. [48]
약 1954년	클로드 슈발	schémas (마크 I)	체밸리는 평가와 관련된 국소 고리와 같은 지역 고리들의 집합으로 구성된 기초 개념에 도달했다. [49] 1954년 일본에서 이 주제로 강연했다. [50] 층 이론이 도입되면서 이 공간은 고리 공간으로 간주될 수 있다. 이 정의는 과도기적이었습니다.
약 1956년	알렉산더 그로텐디크	스킴 이론	대수기하학의 공리적이고 추상적인 기초에 대한 새로운 출발은 각 점이 Spec(A) 형태의 근방을 가지는 환 공간으로 스킴을 정의함으로써 이루어졌으며, 여기서 A는 가환환이고 Spec은 가환환의 스펙트럼을 의미하며, 점들은 소아이디얼이다. 그로텐디크는 1956년 셰발레 세미나에서 노터 환에 관한 이론을 연구하고 있었다. 이 이론은 1958년에 시작된 그로탕디크와 디우도네가 공동 저술한 『Éléments de géométrie algébrique』라는 책 시리즈에서 발전되었다. [51]

공리적 QFT

양자장론에 대한 그럴듯한 공리인 와이트만 공리는 아서 와이트먼에 의해 도입되었다. 이러한 공리들에 대한 비자명한 예제의 필요성은 1960년대 중반 와이트먼이 지도한 아서 자페와 오스카 랜포드의 박사 논문에서 구성적 양자장 이론을 시작하게 만들었다. [52]

공리 체계에 대한 논의

수학에서 공리화는 지식 체계를 가져와 그 공리들을 향해 거꾸로 접근하는 과정이다. 이는 여러 원시 용어들을 연관시키는 명제(즉, 공리) 체계를 공식화하는 것으로, 이러한 명제들로부터 연역적으로 일관된 명제 체계를 도출할 수 있도록 한다. 그 이후, 어떤 명제든 원칙적으로 증명은 원칙적으로 이 공리들로부터 추적할 수 있어야 한다. 공리화는 일반적으로 선택을 포함하며, 이론이 공리화되면 수학적 결과에 영향을 주지 않고 공리 집합을 변경할 수 있을 수 있다.

공리와 공리

고대 그리스 논리학에서는 공리와 전제(postulates) 사이의 대조가 인식되었는데('postulate'는 중세 라틴어에서 유래한 영어 용어이다). 이는 일관되게 적용되지는 않았지만, 공리를 원시적 개념에 대해 공통 기반이 되어야 할 방식으로 말하는 것으로 반영했다; 그리고 논증을 위해 '요청(requests)' 또는 '요구(demands)'로 전제를 반영했다. 아리스토텔레스의 관점은 전제에 대해 최소주의적이었다. [53]

1840년대 불의 작업 이후, 논리학 대수학 전통에서는 논리 자체가 오직 "공리들"에서만 발전되었다. 19세기 말까지 최소주의적 관점은 공리의 독립성 연구를 의미하는 것으로 받아들여졌다. 수학적 우아함도 고려 대상이었습니다. [54] 프리드리히 슈어는 『기하학의 기하학 기초』에서 제시된 힐베르트의 기하학 공리들이 독립적이지 않다고 비판했다. [55]

가설 분석 연대표[

수잔 스테빙에 따르면, 추측 분석은 "연역적 체계 구성"에서 사용되는 것입니다. [56] 이는 공리 체계를 보정하거나 조정하는 데 적용되는 용어입니다. 공리는 시스템에 추가되거나 제거할 수 있으며; 강화되거나 약화될 수 있습니다. 연역에 사용되는 논리 계산법도 변경할 수 있습니다.

날짜저자작품댓글

기원전 4세기부터 기원전 3세기까지	알렉산드리아의 유클리드	원소들	유클리드가 사용한 그리스어 용어는 αἰτήματα(아이테마타)였다. [53] 표준 영어 번역은 "postulate"이다. [57]
1882	모리츠 파쉬	파쉬의 공리	파쉬는 유클리드가 증명하지 않았지만 묵인적으로 사용한 평면 기하학 공리를 도입했다. [58] 이는 유클리드 공리의 결과가 아니었으며, 즉 유클리드 체계와 독립적이었다.
활동 기간: 1890 – 1930	미국 학교	가설 이론	에이브럼스는 "미국의 수학은 19세기 초 프랑스와 독일 등지에서 이미 발전해온 내향적 검증과 이론적 엄밀함의 방향으로 발전하기 시작했다"고 썼다. "가설 이론"은 미국 순수 수학에서 이 독특한 경향에서 중요한 부분을 차지했다. [59] 스캔란은 학교의 "수학 이론 공리화 기준"과 "독립성, 완전성, 일관성과 같은 메타이론적 성질"에 관한 연구를 지적한다. E. V. 헌팅턴과 오스왈드 베블렌이 학교의 대표적인 인물이었습니다. E. H. 무어, 로버트 리 무어와 함께 그들은 공리적 수학 국제적 발전에 크게 기여했다. [60][61]
1904	오스왈드 베블렌	범주론	베블렌은 본질적으로 하나의 모델만 가진 이론을 범주적이라고 불렀다. [62]
1910	악셀 튀에	Die Lösung eines Spezialfalles eines generellen logischen Problems	보편대수학의 한 측면인 방정식 이론에 대한 '문제'라는 단어를 도입했다. [63][64]
1915	레오폴트 뢰벤하임	Über Möglichkeiten im Relativkalkül	현재 뢰벤하임-스콜렘 정리로 알려진 첫 번째 형태로, 1차 논리의 기초 연구에서 역할을 분리하는 데 중요한 단계이다. 그의 연구는 1920년대 토랄프 스콜렘에 의해 명확히 하고 강화되었다.[65]
1926	아돌프 린덴바움	린덴바움-타르스키 대수	린덴바움의 연구는 대수적 논리학으로 이어졌다. [66]
1933	알프레드 타르스키	진리의 정의	타르스키의 접근법은 '객체 언어'와 이를 설명하는 메타언어를 명확히 구분하면서, 1차 논리의 항에 대한 구조적 귀납을 통한 진리 정의에 기반한 모델 이론으로 이어졌다. [67]
1935	개럿 버크호프	HSP 정리	버크호프는 보편대수를 재창립했으며, 한 세대 앞 화이트헤드의 책 제목을 의식적으로 '대수학의 다양성' 개념에 맞춰 사용했다. 불 대수학과 사중수수 같은 오래된 예시의 동기는 자유 대수와 노에르의 추상대수 학파에서 Øystein Ore가 활용한 모듈러 격자 같은 순서 이론의 적용이었다. [68]
1950년대	버클리의 타르스키 학교	고전 모델 이론	1942년부터 캘리포니아 대학교 버클리에서 타르스키의 제자들에 의해 주로 발전된 모델 이론은 이전 연구를 바탕으로 수리논리 내 공리 체계에 대한 원칙적 의미론을 만들어냈다. [69]
2024	테런스 타오	방정식 이론 프로젝트[70]	마그마에 대한 방정식 논리 이론을 완전히 보정하는 프로젝트로, 이진 연산은 최대 네 번 사용된다. 이론들의 부분 순서는 T가 U가 함의하는 모든 정리를 함의할 때 T≤U가 된다. 이 프로젝트의 목적은 ≤의 모든 경우를 규명하여 편 차수의 정확한 하세 도표를 그릴 수 있도록 하는 것이었습니다. 일부 경우에는 증명 보조 소프트웨어도 사용되었습니다. 이 프로젝트는 2025년 4월에 완료되었습니다. [71]

특성

공리 체계의 네 가지 중요한 성질은 일관성, 상대적 일관성, 완전성, 독립성이다. 공리 체계가 모순이 없다면 일관적이라고 한다. 즉, 체계의 공리로부터 명제와 그 부정을 모두 도출하는 것은 불가능하다. [72] 일관성은 대부분의 공리 체계에서 핵심 요구사항으로, 모순의 존재는 어떤 명제든 증명할 수 있게 한다(폭발 원리). 상대적 일관성은 공리 체계의 일관성을 증명할 수 없을 때 작용한다. 그러나 경우에 따라 공리 체계 A가 다른 것이면 일관성이 있음을 증명할 수 있다 공리 집합 B는 일관적이다. [72]

공리적 체계에서, 공리가 독립적이라고 하는데, 이는 시스템 내 다른 공리들로부터 증명하거나 반증될 수 없을 때 그렇다. 시스템이 독립적이라고 하면, 그 모든 근본 공리가 독립적일 때는 그렇다. [72] 일관성과 달리, 많은 경우 기능하는 공리 체계에 독립성이 필수 조건은 아니지만, 보통 시스템 내 공리 수를 최소화하기 위해 독립성이 요구된다.

공리적 시스템이 완전하다고 하는데, 모든 명제에 대해 자신 또는 그 부정이 시스템의 공리로부터 도출 가능하며, 즉 모든 명제가 공리를 사용해 참 또는 거짓임을 증명할 수 있음을 의미한다. [72][73] 그러나 어떤 경우에는 어떤 명제가 증명될 수 있는지 여부를 결정할 수 없을 수도 있다는 점을 유의해야 한다.

공리와 모델

공리적 체계의 모델은 체계 내에서 제시된 정의되지 않은 항들에 의미를 부여하는 형식적 구조로, 체계 내에서 정의된 관계와 일치하는 방식으로 정의됩니다. 공리 체계에 모델이 있다면, 그 공리들이 만족되었다고 한다. [74] 공리 체계를 만족하는 모델의 존재는 그 체계의 일관성을 증명한다. [75]

모델은 또한 시스템 내에서 공리의 독립성을 보여주는 데 사용될 수 있습니다. 특정 공리 없이 부분계에 대한 모델을 구성함으로써, 누락된 공리가 그 공리의 정확성이 반드시 부분계로부터 도출되지 않을 경우 독립적임을 보여준다. [74]

두 모델이 동형적이라고 하는데, 그 원소들 사이에 1:1 대응이 존재하면서도 관계를 유지할 수 있을 때입니다. [76] 모든 모델이 서로 동형인 공리체계를 범주형 또는 범주형이라고 한다. 그러나 이 용어는 범주론(category theory) 주제와 혼동해서는 안 된다. 범주성(범주성)이라는 성질은 시스템의 완전성을 보장하지만, 반대는 성립하지 않는다: 완전성은 시스템의 범주성(범주성)을 보장하지 않는다. 왜냐하면 두 모델은 시스템의 의미론으로 표현할 수 없는 성질이 다를 수 있기 때문이다.

불완전성

형식 체계가 완전하지 않으면 모든 증명이 해당 체계의 공리로 거슬러 올라갈 수 없다. 예를 들어, 수론적 명제가 산술 언어(즉, 페아노 공리의 언어)로 표현될 수 있고, 위상수학이나 복소해석학에 호소하는 증명이 제시될 수 있다. 페아노 공리만을 기반으로 한 또 다른 증명이 있는지 즉시 명확하지 않을 수 있다.

참고 문헌

• 공리 스키마 – 참으로 간주되는 명제들의 집합을 짧게 표기하는 표기법
• 형식 체계 – 연역 또는 증명 체계를 위한 수학적 모델
• 괴델의 불완전성 정리 – 수리논리학에서의 제한적 결과
• 힐베르트 스타일 연역 시스템 – 논리에서의 형식적 연역 체계
• 논리의 역사
• 논리학에서의 공리적 시스템 목록
• 논리 시스템 목록
• 논리주의 – 수학철학의 한 학파
• 체르멜로-프랭켈 집합론 – 공리적 집합론의 표준 체계

• 
  철학 포털
• 
  수학 포털

위키인용문에는 공리체계와 관련된 인용문이 있습니다.

참고문헌

1.  휴 G. 고치 (2012). 과학적 방법 간략. 케임브리지 대학교 출판부. 136쪽. ISBN 978-1-107-01962-1.
2.  파소, 알렉산더; 프레겔, 파비안 (2023년 8월 25일). "수학 철학에서의 연역주의". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
3.  레먼, 에릭; 마이어, 알버트 R; 레이튼, F 톰. 컴퓨터 과학을 위한 수학 (PDF). 원본(PDF)은 2023년 6월 10일에 보관됨. 2023년 5월 2일 확인.
4.  웡, 데이비드 (2024년 9월 5일). "비교철학: 중국과 서양". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전 (2024년 가을판). ISSN 1095-5054. OCLC 429049174.
5.  잘타, 에드워드 N. (2023년 8월 5일). "프레게의 정리와 산술의 기초". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
6.  클라인, 모리스 (1990년 3월 1일). 고대부터 현대까지의 수학적 사상, 제3권. 옥스퍼드 대학교 출판부. 1141쪽. ISBN 978-0-19-977048-9.
7.  데이비드 E. 지타렐리; 덤보, 델라; 케네디, 스티븐 F. (2022년 7월 28일). 미국 및 캐나다 수학사: 제2권: 1900–1941. 미국 수학회. 72쪽. ISBN 978-1-4704-6730-2.
8.  나렌스, 루이스 (2014년 9월 11일). 의미 이론. 심리학 출판사. 8쪽. ISBN 978-0-415-65456-2.
9.  파드마나반, 랑가나탄; 루데아누, 세르지우 (2008). 격자와 불 대수에 대한 공리. 월드 사이언티픽. 73쪽. ISBN 978-981-283-454-6.
10.  볼드윈, 토마스 (2003년 11월 27일). 케임브리지 철학사 1870-1945. 케임브리지 대학교 출판부. 142쪽. ISBN 978-0-521-59104-1.
11.  그레이, 제레미 (2000). 힐베르트 챌린지. 옥스퍼드 대학교 출판부. 7쪽. ISBN 978-0-19-850651-5.
12.  아티야, 마이클 프랜시스 (2014). 전집. 제7권. 클라렌던 출판사. 70쪽. ISBN 978-0-19-968926-2.
13.  코리, L. (2004년 11월 1일). 다비드 힐베르트와 물리학의 공리화 (1898–1918): 기하학의 기초에서 물리학의 기초까지. 스프링거 사이언스 & 비즈니스 미디어. 101쪽. ISBN 978-1-4020-2777-2.
14.  에머, 미셸 편집. (2003년 12월 2일). 수학과 문화 I. 스프링거 사이언스 & 비즈니스 미디어. 10쪽. ISBN 978-3-540-01770-7.
15.  아놀드, V. I. (2015년 7월 14일). 실험수학. 미국 수학회, 4–5쪽. ISBN 978-0-8218-9416-3.
16.  첸티나, 안드레아 델; 알레산드로 지밀리아노 (2025년 3월 3일). 『여기서 무한까지: 사영 기하학의 기원과 발전 추적』. 스프링거 네이처. 1739쪽. ISBN 978-3-031-72585-2.
17.  볼드윈, 토마스 (2003년 11월 27일). 케임브리지 철학사 1870-1945. 케임브리지 대학교 출판부. 589쪽. ISBN 978-0-521-59104-1.
18.  바이스타인, 에릭 W. "체르멜로-프렌켈 공리". mathworld.wolfram.com. 2019-10-31에 확인함.
19.  코리, 레오 (2012년 12월 6일). 현대 대수학과 수학 구조의 부상. 비르크회이저. 195쪽. ISBN 978-3-0348-7917-0.
20.  에발드, 윌리엄 (2018년 11월 17일). "1차 논리의 출현". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
21.  마르시셰프스키, W. (2013년 6월 29일). 언어 연구에 적용된 논리 사전: 개념/방법/이론. 스프링거 사이언스 & 비즈니스 미디어. 401쪽. ISBN 978-94-017-1253-8.
22.  바일, 헤르만 (1913). Die Idee der Riemannschen Fläche. 라이프치히: B.G. 토이브너.
23.  윌라드, 스티븐 (2012년 7월 12일). 일반 위상수학. 쿠리어 코퍼레이션. 298쪽. ISBN 978-0-486-13178-8.
24.  헤이드, C. C.; 세네타, E. (2001년 8월 9일). 세기의 통계학자들. 스프링거 사이언스 & 비즈니스 미디어. 331쪽. ISBN 978-0-387-95283-3.
25.  자일스, J. R. (2000년 3월 13일). 노름 선형 공간 분석 입문. 케임브리지 대학교 출판부. 259쪽. ISBN 978-0-521-65375-6.
26.  에미 노터 (1921년 3월 1일). "링베라이헨에서의 이상론". 수학 연대기(Mathematische Annalen) (독일어). 83권 (1–2): 24–66. DOI:10.1007/BF01464225.
27.  뉴먼, 하비 B.; 입실란티스, 토마스 (2012년 12월 6일). 입자물리학의 원창 아이디어와 기본 발견의 역사. 955: 스프링어 사이언스 & 비즈니스 미디어. ISBN 978-1-4613-1147-8.
28.  이스라엘 클라이너 (2007년 10월 2일). 추상대수학의 역사. 스프링거 사이언스 & 비즈니스 미디어. 94쪽. ISBN 978-0-8176-4684-4.
29.  프로호로프, 유리 V.; 시리야예프, 알버트 N. (2013년 3월 14일). 확률론 III: 확률적 미적분학. 스프링거 사이언스 & 비즈니스 미디어. 7쪽. ISBN 978-3-662-03640-2.
30.  오코너, 존 J.; 로버트슨, 에드먼드 F., "존 헨리 콘스탄틴 화이트헤드", 맥튜터 수학사 아카이브, 세인트앤드루스 대학교
31.  그라탄-기네스, 아이보르 (2005년 2월 11일). 서양 수학의 기념비적 저작들 1640-1940. 엘스비어. 194–195쪽. ISBN 978-0-08-045744-4.
32.  빌렌킨, N. 야 (2013년 6월 29일). 무한을 찾아서. 스프링거 사이언스 & 비즈니스 미디어. 107쪽. ISBN 978-1-4612-0837-2.
33.  오그냐노비치, 조란; 라슈코비치, 미오드라그; 마르코비치, 조란 (2016년 10월 24일). 확률 논리: 불확실한 추론의 확률 기반 형식화. 스프링거. 58쪽. ISBN 978-3-319-47012-2.
34.  뤼첸, J. (2012년 12월 6일). 분포 이론의 선사시대. 스프링거 사이언스 & 비즈니스 미디어. 2–3쪽. ISBN 978-1-4613-9472-3.
35.  마샬, 모리스 (2006). 부르바키. 미국 수학회, 47쪽. ISBN 978-0-8218-3967-6.
36.  부르바키, 니콜라스 (1950). "수학의 건축". 미국 수학 월간지. 57 (4): 221–232. DOI:10.2307/2305937. ISSN 0002-9890. JSTOR 2305937.
37.  페헤이라, 페르난도; 카일레, 라인하르트; 솜마루가, 조반니 (2022년 10월 13일). 공리적 사고 I. 스프링거 네이처. 86쪽. ISBN 978-3-030-77657-2.
38.  하트쇼른, 로빈 (2013년 6월 29일). 대수기하학. 스프링거 사이언스 & 비즈니스 미디어. 105쪽. ISBN 978-1-4757-3849-0.
39.  코리, 레오 (2012년 12월 6일). 현대 대수학과 수학 구조의 부상. 비르크회이저. 119쪽과 주석 128. ISBN 978-3-0348-7917-0.
40.  샹베르-루아르, 앙투안 (2007년 12월 21일). 대수학 필드 가이드. 스프링거 사이언스 & 비즈니스 미디어. 36쪽. ISBN 978-0-387-26955-9.
41.  골드스타인, 캐서린; 샤파허, 노버트; 슈베르머, 요아힘 편집. (2007년 2월 3일). C.F. 가우스의 『산술 논문』에 따른 산술의 형성. 스프링거 사이언스 & 비즈니스 미디어. 176–177쪽. ISBN 978-3-540-34720-0.
42.  와일, 앙드레 (1979). 전집 논문 (프랑스어). 제1권. 스프링거. 540–541쪽. ISBN 978-3-540-90330-7.
43.  크룰, 볼프강 (1999). 전집 논문 (독일어). 월터 드 그루이터. 580쪽. ISBN 978-3-11-012771-3.
44.  랭, 세르주 (2019년 3월 20일). 대수기하학 입문. 쿠리어 도버 출판사. 19쪽. ISBN 978-0-486-83422-1.
45.  와일, 앙드레 (1979). 전집 논문 (프랑스어). 제1권. 스프링거. 552–553쪽. ISBN 978-3-540-90330-7.
46.  제임스, 이오안 (2002). 『놀라운 수학자들: 오일러에서 폰 노이만까지』. 케임브리지 대학교 출판부. 405쪽. ISBN 978-0-521-52094-2.
47.  폰타나, 마르코; 프리쉬, 소피; 글래즈, 사라 (2014년 7월 15일). 가환대수: 가환환, 정수 값 다항식, 다항식 함수의 최근 발전. 스프링거. 154쪽. ISBN 978-1-4939-0925-4.
48.  와일, 앙드레 (1979). 전집 논문 (프랑스어). 제1권. 스프링거. 556쪽. ISBN 978-3-540-90330-7.
49.  크뢰머, 랄프 (2007년 6월 25일). 도구와 객체: 범주 이론의 역사와 철학. 스프링거 사이언스 & 비즈니스 미디어. 164쪽. ISBN 978-3-7643-7524-9.
50.  판테치, 바바라 편집 (2005). 기초 대수기하학: 그로텐디크의 FGA 설명. 미국 수학회, 248쪽. ISBN 978-0-8218-4245-4.
51.  판테치, 바바라 편집 (2005). 기초 대수기하학: 그로텐디크의 FGA 설명. 미국 수학회, 249쪽. ISBN 978-0-8218-4245-4.
52.  게스테시, 프리츠 (2007). 스펙트럼 이론과 수리물리학: 배리 사이먼의 60번째 생일을 기념하는 기념 글집. 미국 수학회, 71–72쪽. ISBN 978-0-8218-4248-5.
53.  스미스, 데이비드 E. (1958년 6월 1일). 수학사. 쿠리어 코퍼레이션. 280쪽과 주석 5. ISBN 978-0-486-20430-7.
54.  버리스, 스탠리; 레그리스, 하비에르 (2021년 2월 12일). "논리 전통의 대수". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
55.  그레이, 제레미 (2000). 힐베르트 챌린지. 옥스퍼드 대학교 출판부. 104쪽. ISBN 978-0-19-850651-5.
56.  비니, 마이클; 채프먼, 시오반 (2025년 5월 7일). "수잔 스테빙". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
57.  토레티, 로베르토 (2016년 10월 20일). "19세기 기하학". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
58.  Hvidsten, Michael (2016년 12월 8일). 기하학 탐구. CRC 출판사. 66쪽. ISBN 978-1-4987-6082-9.
59.  에이브럼스, 엘렌 (2020). "누구에게도 빚지지 않는다: 자수성가한 수학자의 기반과 성별화". 자연과학 역사 연구. 50권 (3호): 218쪽. ISSN 1939-1811. JSTOR 48736256.
60.  마이클 스캔란 (1991년 9월). "미국의 가설 이론가들은 누구였는가?" 기호 논리학 저널. 56 (3): 981–1002. DOI:10.2307/2275066. JSTOR 2275066.
61.  파샬, 카렌 헝거; 로우, 데이비드 E. (1994). 미국 수학 연구 공동체의 등장, 1876-1900: J.J. 실베스터, 펠릭스 클라인, E.H. 무어. 미국 수학회, 451쪽. ISBN 978-0-8218-0907-5.
62.  윌프리드 호지스가 2024년 1월 25일자 스탠포드 철학 백과사전에 발표한 "1차 모델 이론" 항목
63.  오코너, 존 J.; 로버트슨, 에드먼드 F., "악셀 튀", 맥튜터 수학사 아카이브, 세인트앤드루스 대학교
64.  로젠버그, 그제고시; 살로마, 아르토 (2012년 12월 6일). 형식 언어 핸드북: 제3권 단어를 넘어서. 스프링거 사이언스 & 비즈니스 미디어. 269쪽. ISBN 978-3-642-59126-6.
65.  "1차 논리의 출현" 글, 윌리엄 에월드, 스탠포드 철학 백과사전, 2018년 11월 17일
66.  잔사나, 라몬 (2022년 5월 20일). "대수적 명제 논리". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전. ISSN 1095-5054. OCLC 429049174.
67.  윌프리드, 호지스 (2022년 9월 21일). "타르스키의 진리 정의". 잘타, 에드워드 N. (편집). 스탠포드 철학 백과사전 (2022년 가을판). ISSN 1095-5054. OCLC 429049174.
68.  올리베이라, J. S.; 로타, G.-C. 편집. (1987년 1월 1일). 개럿 버크호프의 대수학 및 위상수학 선집. 스프링거 사이언스 & 비즈니스 미디어. 111–113쪽. ISBN 978-0-8176-3114-7.
69.  만사노, 마리아 (1999). 모델 이론. 클라렌던 프레스. p. xi. ISBN 978-0-19-853851-6.
70.  "방정식 이론 프로젝트". teorth.github.io. 2025년 9월 25일에 확인함.
71.  체펠레비치, 요르다나 (2025년 4월 30일). "AI 시대의 수학적 아름다움, 진리, 그리고 증명". 콴타 매거진.
72.  A. G. 하우슨, 『대수학과 해석학에서 사용되는 용어 핸드북』, 케임브리지 대학 출판부, ISBN 0521084342 1972, 6쪽
73.  바이스타인, 에릭 W. "완전 공리 이론". mathworld.wolfram.com. 2019-10-31에 확인함.
74.  C. C. 창과 H. J. 카이슬러 "모델 이론" Elsevier 1990, 1-7쪽
75.  C. C. 창과 H. J. 카이슬러 "모델 이론" Elsevier 1990, 1-7쪽, 정리 1.2.11
76.  호지스, 윌프리드; Scanlon, Thomas (2018), "1차 모델 이론", Zalta, Edward N. (편집), 스탠포드 철학 백과사전 (2018년 겨울판), 형이상학 연구소, 스탠퍼드 대학교, 2019-10-31에 확인됨

그리스 알파벳역사발음부호 및 기타 기호관련 주제

람다 (/ˈlæmdə/ (i);[1] 대문자 Λ, 소문자 λ; 그리스어: λάμ(β)δα, lám(b)da; 고대 그리스어: λά(μ)βδα, lá(m)bda), 때때로 lamda로 표기되며,[2] labda[2] 또는 lamma,[2]는 그리스 알파벳의 열한 번째 글자로, 유성 치경음 측면 근사음(IPA)을 나타냅니다: [l]; 이 이름은 페니키아어 문자 Lamed에서 유래했으며, 라틴어 L과 키릴 문자 El (Л)의 유래가 되었습니다. 그리스 숫자 체계에서 람다의 값은 30입니다. 고대 문법학자들은 고전 그리스 시대에 이를 λάβδα(lắbdă, [lábda])라고 불렀으며,[3] 현대 그리스어에서는 λάμδα(lámda, [ˈlamða])라고 하며, 철자는 λάμβδα(lámbda)입니다) 는 두 언어 간 긴 전환 기간 동안 (정도는 다르게) 사용되었습니다.

초기 그리스 알파벳에서는 람다의 형태와 방향이 다양했습니다. [4] 대부분의 변형은 두 개의 직선 획이 끝에서 연결되어 있었으며, 각각 길이가 길었습니다. 각도는 왼쪽 위, 왼쪽 아래(서양 알파벳), 또는 위쪽(동양 알파벳)에 있을 수 있습니다. 다른 변형들은 오른쪽으로 가로 또는 경사진 스트로크가 있는 수직선을 가지고 있었습니다. 이오니아 문자가 널리 채택되면서 그리스어는 상단에 각진 형태로 정착했습니다; 로마군은 이 각도를 왼쪽 아래에 배치했다.

검은 형상에 그리스 알파벳이 새겨져 있고, 페니키아 모양의 람다가 그려져 있다. 감마는 현대 람다의 형태를 가지고 있습니다.

상징

대문자 Λ

대문자 람다의 상징적 사용의 예는 다음과 같습니다:

• 람다 입자는 아원자 입자 물리학에서 아원자 입자의 한 종류입니다.
• 람다란 1차 논리의 논리 연역의 공리적 방법에서 논리 공리들의 집합이다.
• 대문자 람다는 특히 공상과학 작품에서 대문자 A의 스타일화된 형태로 자주 사용됩니다.
• 스파르타인들이 방패 문장으로 람다를 사용한 시적 암시가 있다. [출처 필요][5]
• 람다(lambda)는 수학적 정수론에서 폰 망골트 함수이다. [6]
• 람다는 리만 가설과 밀접하게 연관된 드 브뤼인-뉴먼 상수를 의미한다. [7]
• 통계학에서 람다는 우도비에 사용됩니다.
• 통계학에서 윌크스 람다는 분산 다변량 분석(MANOVA 분석)에서 종속 변수 조합에 대한 그룹 평균을 비교하는 데 사용됩니다. [8]
• 행렬의 스펙트럼 분해에서 람다는 행렬의 고유값들의 대각선 행렬을 나타냅니다.
• 컴퓨터 과학에서 람다는 디지털 컴퓨터의 가상 메모리 관리에 필요한 작업 메모리 집합을 결정하는 과정이 관찰되는 시간 창입니다.
• 천체물리학에서 람다란 작은 천체가 행성이나 왜소행성을 만나 상당한 크기의 편향을 일으킬 확률을 나타냅니다. 람다 값이 큰 물체는 현재 행성의 정의를 충족하여 이웃을 벗어났을 것으로 예상됩니다. [9]
• 결정 광학에서는 람다가 격자 주기를 나타내는 데 사용됩니다.
• 전기화학에서 람다는 전해질 용액의 "등가 전도도"를 의미합니다. [10]
• 우주론에서 람다란 우주 상수(cosmological constant)의 기호로, 우주의 가속 팽창을 설명하기 위해 일부 동역학 방정식에 추가된 용어입니다. [11]
• 광학에서 람다는 브래그 반사경의 격자 피치를 의미합니다. [12]
• 정치에서 람다는 프랑스에서 시작되어 유럽 전역, 그리고 이후 북미, 호주, 뉴질랜드로 확산된 백인 민족주의 운동인 정체성 운동의 상징이다. 정체성 람다는 테르모필레 전투를 나타냅니다.

소문자 λ

소문자 람다

소문자 람다의 상징적 사용 예는 다음과 같습니다:

• λ는 특히 물리학, 전기공학, 수학에서 모든 파동의 파장을 나타냅니다. [13]
• 진화 알고리즘에서 λ는 각 세대에서 현재 개체군으로부터 생성될 자손 수를 μ합니다. μ와 λ라는 용어는 진화 전략 표기법에서 유래했습니다. [14]
• λ는 핵물리학과 방사능에서의 방사능 붕괴 상수를 나타냅니다. 이 상수는 곱셈 상수로 임의의 방사성 물질의 반감기와 매우 간단하게 연관됩니다.
• 확률론에서 λ는 포아송 분포에 의해 모델링된 시간 구간 내 발생 밀도를 나타냅니다. [15]
• 수리논리학과 컴퓨터 과학에서 λ는 람다 계산법 개념으로 표현된 익명 함수를 소개하는 데 사용됩니다.
• λ는 선형대수학 수학에서 고유값을 나타냅니다.
• 입자 물리학에서 람다는 열 드 브로이 파장[16]을 나타냅니다.
• 전기장 물리학에서 람다는 때때로 균일한 전하선의 선형 전하 밀도(쿨롱 단위로 측정됨)를 나타냅니다.
• 람다는 다차원 미적분학에서 라그랑주 곱수를 의미합니다. [17]
• 고체 전자 장치에서 람다는 MOSFET의 채널 길이 변조 매개변수를 나타냅니다. [18]
• 생태학에서 람다는 인구의 장기적인 내재적 성장률을 의미합니다. [19] 이 값은 종종 연령/체격 행렬의 지배 고유값으로 계산됩니다.
• 형식 언어 이론과 컴퓨터 과학에서 람다(lambda)는 빈 문자열을 나타냅니다. [20]
• 람다는 국제 음성문자에서 유성 치경 측 파찰음 [dɮ]를 나타내는 비표준 기호입니다. [21]
• 람다는 수학적 집합론에서 르베그 측도를 나타냅니다. [22]
• 통계학에서 굿맨과 크루스칼의 람다(lambda)는 한 변수의 값을 다른 변수의 값을 예측하는 데 사용될 때 오차가 비례적으로 감소함을 나타냅니다. [23]
• 람다는 내연기관의 배기가스 내 공기와 연료 비율을 측정하는 차량 내 산소 센서를 의미합니다. [24]
• 1970년 일본 최초의 궤도 위성 발사에는 람다 4S 고체 연료 로켓이 사용되었다. [25]
• 람다는 신뢰성 이론에서 장치 및 시스템의 고장률을 나타내며, 시간당 고장 사건 수로 측정됩니다. 수치적으로 이 람다는 고장 사이의 평균 시간의 역수이기도 합니다. [26]
• 범죄학에서 람다(lambda)는 개인의 범죄 빈도를 나타냅니다. [27]
• 전기화학에서 람다는 주어진 이온의 이온 전도도를 의미하기도 하며(이온의 조성은 일반적으로 람다 문자의 첨자로 표시됩니다).
• 신경생물학에서 람다란 신경세포 축삭을 따라 세포막을 가로지르는 전위의 길이 일정(또는 지수적 붕괴율)을 의미합니다.
• 열 전달의 과학과 기술에서 람다는 물질의 몰당 기화열(일명 '잠열')을 의미합니다. [28]
• 천체 항법의 기술과 과학에서 람다는 위도를 나타내는 반면, 로마자 문자 "L"은 위도를 나타냅니다.
• 블록 스타일의 람다 문양은 밸브의 컴퓨터 게임 시리즈 하프라이프에서 반복적으로 등장하는 상징으로 사용되며[29] 가상의 블랙 메사 연구 시설의 람다 콤플렉스를 가리키며, 속편 하프라이프 2와 그 후속 전편인 하프라이프: 알릭스에서도 저항의 상징으로 등장한다. [30]
• 1970년, 톰 도어는 뉴욕 지부의 게이 활동가 연합의 상징으로 소문자 람다를 선택했습니다. [31][32] 람다 기호는 게이 해방과 연관되었고[33][34] 이후 한동안 LGBTQ 상징으로 인식되었으며, 에든버러에서 열린 국제 게이 권리 회의에서도 그렇게 사용되었다. [35]
• 골롬-딕만 상수[36]
• 연속체 역학에서 람다는 응력-변형률 관계에서 발생하는 재료 속성인 라메 매개변수 중 하나를 나타냅니다.

리트라 기호

로마의 리브라와 비잔틴의 lítra(λίτρα)는 파운드 질량 단위이자 리터 부피 단위로 사용되었으며, 그리스어로는 λ를 사용해 iota 첨자 ⟨λͅ⟩ 변형된 형태로 약칭되었다. 이 문서들은 유니코드로 다양하게 인코딩되어 있습니다. 고대 그리스 숫자 유니코드 블록에는 10183개의 그리스 리트라 기호(𐆃)와 10162 그리스 아크로포닉 헤르미오니아 문자[37]로 묘사되지만 훨씬 더 흔한 형태였던 𐅢도 포함되어 있습니다. 이 기호의 변형은 0338 LONG SOLIDUS OVERLAY와 039B 그리스 대문자 LAMDA(Λ̸) 또는 03BB 그리스 소문자 LAMDA(λ̸)에서 형성될 수 있습니다. [38]

유니코드

유니코드는 문자 이름에 "람다" 대신 (현대 그리스어 기반) 철자를 사용하는데, 이는 "ISO 8859-7에 이미 명시된 이름들과 그리스 국가 기관이 표현한 선호" 때문이다. [39] 람다의 라틴어 버전은 2024년에 캐나다의 살리샨어와 와카샨어를 위한 유니코드에 추가되었습니다. [40]

• U+039B Λ 그리스 대문자 LAMDA (Λ)[41]
• U+03BB λ 그리스어 소문자 람다 (&람다;)
• U+1D27 ᴧ 그리스 문자 소문자 람다
• U+2C96 ⲗ 콥트 대문자 라우라
• U+2C97 ⲗ 콥트 소문자 라우라
• U+A7DA Ꟛ 라틴 대문자 람다
• U+A7DB ꟛ 라틴 소문자 람다
• U+1038D 𐎍 우가리트 문자 람다
• U+1D6B2 λ 수학적으로 대담한 대문자 LAMDA[a]
• U+1D6CC λ 수학적 굵은 소 람다
• U+1D6EC Λ 수학 이탤릭체 대문자 LAMDA
• U+1D706 λ 수학 이탤릭체 소문자 람다
• U+1D726 λ 수학 굵은 이탤릭체 대문자 람다
• U+1D740 λ 수학적 굵은 이탤릭체 소문자 람다
• U+1D760 λ 수학 산세리프 굵은 대문자 람다
• U+1D77A λ 수학 산세리프체 굵은 소 람다
• U+1D79A λ 수학 산세리프체 굵은 이탤릭 대문자 LAMDA
• U+1D7B4 λ 수학 산세리프체 굵은 이탤릭체 소문자 람다

1.  수학 문자는 수학 분야에서만 사용해야 합니다. 스타일화된 그리스어 텍스트는 일반 그리스 문자로 인코딩하고, 텍스트 스타일을 나타내는 마크업과 서식을 사용해야 합니다.

참고 문헌

위키낱말사전(Wiktionary)에서 Λ, λ, Ꟛ, ꟛ를 찾아보세요.

• barred lambda - ƛ
• 엘(키릴 문자) – Л, л
• 프레이저 알파벳#자음
• 수학, 과학, 공학에서 사용되는 그리스 문자
• 하프라이프 (시리즈)
• 삼성은 로고에 "Λ" 글자를 스타일링된 "A"로 사용하는 전자 회사 중 하나입니다.

참고문헌

1.  "람다". 발음. 옥스퍼드 영어사전(온라인판). 옥스퍼드 대학교 출판부. doi:10.1093/OED/7055602338. (구독 또는 참여 기관 회원 자격 필요)
2.  "람다". 양식. 옥스퍼드 영어사전(온라인판). 옥스퍼드 대학교 출판부. doi:10.1093/OED/1663278936. (구독 또는 참여 기관 회원 자격 필요)
3.  허버트 위어 스미스. 대학을 위한 그리스어 문법서. I.1.c
4.  "초기 그리스 문자를 위한 비문 자료". Poinikastas.CSAD.ox.ac.uk. 2011-10-03에 확인함.
5.  필로데무스 (2003). 시에 관하여. 옥스퍼드 대학교 출판부. 212쪽. ISBN 9780199262854.
6.  데자, 엘레나 (2023). 완벽하고 원만한 숫자들. 수론 선택 장: 특수 수. 뉴저지: 월드 사이언티픽. 79쪽. ISBN 978-981-12-5962-3. 폰 망골드 함수 Λ(n)는 다음과 같이 정의된다...
7.  브로완, 케빈 A. (2024). 리만 가설의 동치. 제3권: 리만 가설 해결을 위한 추가 단계 / 케빈 브로완 (뉴질랜드 와이카토 대학교). 수학 및 그 응용 백과사전. 영국 케임브리지; 뉴욕; 빅토리아주 포트 멜버른; 뉴델리; 싱가포르: 케임브리지 대학교 출판부. 63쪽. ISBN 978-1-009-38480-3. 이제 드 브뤼인–뉴먼 상수 Λ의 정의를 제시할 수 있다.
8.  에버릿, 브라이언 (2011). R을 이용한 응용 다변량 분석 입문. R을 사용하세요! 토르스텐 호트혼 경. 뉴욕: 스프링어 뉴욕. ISBN 978-1-4419-9649-7. 현재 일원 MANOVA의 경우, LR 검정 통계량이 Wilks 람다(Λ, 그리스 대문자 람다)의 단조 함수임을 증명할 수 있다:
9.  윌킨슨, 존 (2016). 태양계 클로즈업. 천문학자의 우주 참 경: 스프링어 인터내셔널 퍼블리싱 AG. 7쪽. ISBN 978-3-319-27627-4. 미국의 행성 과학자 앨런 스턴과 해럴드 레비슨은 천체가 "궤도 주변을 벗어날 가능성"을 나타내기 위해 매개변수 Λ(람다)를 도입했습니다.
10.  쿤, 라인하르트; 호프스테터-쿤, 사브리나 (1993). 모세관 전기영동: 원리와 실무. 스프링거 연구소. 베를린 하이델베르크: 슈프링거. 12쪽. ISBN 978-0-387-56434-0. 첫 번째 콜라우쉬 법칙에 따르면, 음이온과 양이온은 전도도에 독립적으로 기여하므로, 동등한 전도도 Λ는 ...
11.  리들, 앤드류 R. (2015). 현대 우주론 입문 (3판). 치체스터, 웨스트서식스: 존 와일리 앤드 선즈, Inc. 55쪽. ISBN 978-1-118-50214-3. 우주 상수 Λ는 프리드먼 방정식에서 추가 항으로 나타납니다.
12.  팔, 비슈누 편집 (2010). 유도파 광학 및 광전자공학의 최전선. Erscheinungsort nicht ermittelbar: IntechOpen. 352쪽. ISBN 978-953-7619-82-4. 하단 DBR의 원형 브래그 격자는 브래그 파장에 대해 높은 반사를 제공하며, 이는 슬랩 속공 도파관 [25]의 1차 격자에 대해 다음 식으로 결정된다... 여기서 Λ는 격자 피치이다.
13.  넬콘, 마이클 (1977). 물리학의 기초. 세인트앨번스, 허트퍼드셔: 하트-데이비스 교육. 329쪽.
14.  바라고나, 로베르토 (2011). 진화적 통계적 절차: 통계적 절차 설계와 응용에 대한 진화적 계산 접근법. 통계학과 컴퓨팅. 프란체스코 바탈리아, 아이린 폴리. 베를린: 슈프링거. 16쪽. ISBN 978-3-642-16217-6. ..., λ는 각 세대의 자손 수이다:
15.  파닉, 마이클 J. (2005). 초등 관점에서 본 고급 통계학. 보스턴: 엘스비어/아카데믹 프레스. 260쪽. ISBN 978-0-12-088494-0. λ는 포아송 과정의 단위 시간당 평균 발생 횟수이므로,
16.  타바타바이안, 메흐르자드; 라지푸트, R. K. (2018). 고급 열역학: 기초, 수학, 응용. 버지니아주 덜레스, 매사추세츠주 보스턴, 뉴델리: 수성 학습 및 정보. 434쪽. ISBN 978-1-936420-27-8. 원자 기체는 인접 원자의 물질파가 겹칠 때 양자 축퇴에 도달한다. 즉, 온도 하락에 따른 열 드 브로이 파장 λ가 이를 의미한다,...
17.  이토, 카즈후미 (2008). 라그랑주 곱셈 접근법의 변분 문제 및 응용. 설계와 제어의 발전. K. 쿠니시, 산업 및 응용수학회. 필라델피아, 펜실베이니아: 산업 및 응용수학회 (SIAM, 3600 Market Street, 6층, 필라델피아, 펜실베이니아 19104). 12쪽. ISBN 978-0-89871-649-8. 여기서 라그랑주 곱셈 λ는 y와 u처럼 독립 변수로 취급됩니다.
18.  비거링크, 렘코 J. (1993). MOS 트랜스리니어 회로의 분석 및 합성. 공학 및 컴퓨터 과학 분야의 Kluwer 국제 시리즈; 아날로그 회로와 신호 처리. 보스턴: 클루워 아카데믹. 21쪽. ISBN 978-0-7923-9390-0. MOS 트랜지스터의 채널 길이 변조는 드레인 전류가 드레인 전압에 의존하게 만듭니다.... 그리고 λ는 채널 길이 변조 매개변수입니다.
19.  리, 쉬에즈; 양, 준위안; 마르체바, 마이아 (2020). 연령 구조화 전염병 모델링. 학제간 응용수학. 참: 스프링거 인터내셔널 퍼블리싱 AG. 7쪽. ISBN 978-3-030-42495-4. λ*는 맬서스 매개변수 또는 내재 성장률이라고 불립니다.
20.  투를라키스, 조지 J. (2024). 이산수학: 간결한 입문. 수학과 통계학에 관한 종합 강의. 참: 스프링거. 37쪽. ISBN 978-3-031-30487-3. 빈 문자열을 나타내는 문헌에서 널리 사용되는 기호는 ε 또는 λ이다. 우리는 λ를 선택할 것이다...
21.  국제음성학회(2021). 국제 음성학회 핸드북: 국제 음성문자 사용 가이드 (22. 인쇄본). 케임브리지: 케임브리지 대학교 출판부. 179쪽. ISBN 978-0-521-63751-0. λ 무성 치아 또는 치포 측면 마찰음 (IPA 사용이 아님)
22.  비어렌스, 허먼 J. (2004). 계량경제학의 수학 및 통계적 기초 소개. 현대 계량경제학의 주제들. 뉴욕: 케임브리지 대학교 출판부. 19쪽. ISBN 978-0-521-83431-5. 이 함수 λ는 위의 르베그 측도라고 부른다 ⁠R⁠,...
23.  리옹, 프레더릭; 오스틴, 제임스 T. (2024). 심리학 연구 핸드북: 대학원생 및 연구 조교를 위한 안내서 (3판). 사우전드 오크스 런던 뉴델리, 싱가포르: 세이지. 280쪽. ISBN 978-1-4522-1767-3. 독립 변수와 종속 변수가 명목일 경우, 우발 계수인 크래머의 V, 또는 굿맨-크루스칼의 λ를 선택할 수 있습니다.
24.  리벤스, 윌리엄 B. (2017). 자동차 전자공학 이해: 공학적 관점 (8판). 옥스퍼드: 엘스비어/버터워스-하이네만, 엘스비어의 임프린트. 215쪽. ISBN 978-0-12-810434-7. 그 결과, 오늘날 사용되는 가장 중요한 자동차 엔진 센서 중 하나는 배기가스 산소(EGO) 센서입니다. 이 센서는 흔히 그리스 문자 람다(λ)에서 유래한 람다 센서라고 불리며, 이는 4장에서 정의된 등가비를 나타내는 데 일반적으로 사용됩니다:
25.  "우주 백과사전: 람다". Astronautix.com. 2012-10-22에 원본에서 보관됨. 2012-12-18에 확인함.
26.  겐, 후위우 (2021). 데이터 센터 핸드북: 스마트 데이터 센터의 계획, 설계, 건설 및 운영 (2판). 호보켄: 와일리. 278쪽. ISBN 978-1-119-59753-7. 일반적으로 고장률은 일정하다고 가정하며 λ로 표기합니다.
27.  패링턴, 데이비드; 카제미안, 라일라; 피케로, 알렉스 R. 편집. (2019). 옥스퍼드 발달 및 생애 과정 범죄학 핸드북. 옥스퍼드 범죄학 및 형사 사법 핸드북. 뉴욕: 옥스퍼드 대학교 출판부. 74쪽. ISBN 978-0-19-020137-1. 생애 경에 걸친 범죄 활동의 가속과 감속을 평가하기 위해서는 먼저 각 관심 범죄자에 대한 개별 범죄율 또는 람다(λ)를 결정해야 한다.
28.  완캇 분리 공정 공학 2판, 프렌티스 홀
29.  "스팀의 하프라이프". store.steampowered.com. 밸브. 2017-01-02에 확인함.
30.  "스팀의 하프라이프 2". store.steampowered.com. 밸브. 2017-01-02에 확인함.
31.  랩, 린다 (2004). "게이 활동가 연합" (PDF). glbtq.com.
32.  "1969년, 게이 해방의 해". 뉴욕 공립 도서관. 2009년 6월. 2018년 11월 17일에 확인함.
33.  굿윈, 조셉 P. (1989). "사람은 한 사람을 알아야 한다". 『네가 될 수 있는 것보다 더 많은 남자: 중부 미국의 게이 민속과 문화 적응』. 인디애나 대학교 출판부. 26쪽. ISBN 978-0253338938.
34.  랩, 린다 (2003). "상징" (PDF). glbtq.com.
35.  해거티, 조지 E. 편집 (2000). 게이 역사와 문화: 백과사전 (게이 역사와 문화 백과사전, 제2권) (1판). 런던: 갈랜드 출판사. 529쪽. ISBN 0-8153-1880-4. OCLC 750790369.
36.  Weisstein, Eric W. "골롬-딕만 상수 지속분수". mathworld.wolfram.com. 2025-01-31에 확인함.
37.  유니코드 고대 그리스 숫자 블록.
38.  "그리어사전 (PDF)". Stephanus.TLG.UCI.edu. 원본(PDF)은 2011년 7월 16일에 보관됨.
39.  "유니코드 메일 리스트 아카이브: 그리스 문자 "LAMDA"에 관한 정보?
40.  험치트, 로빈; 자쿠루예, 드니; 킹, 케빈 (2023-07-17). "L2/23-191: 와카샨 및 살리샨 언어를 위한 3개의 추가 라틴 문자를 유니코드 표준에 인코딩하는 제안" (PDF).
41.  "HTML 4.01 명세. 24. HTML 4"에서의 문자 엔티티 참조. 월드 와이드 웹 컨소시엄.