검색 결과

한편 독일의 [[게르하르트 겐첸]]은 독립적으로 1935년 자연 연역 체계를 개발하여 학위논문에 발표하였고 이것이 현대 자연 연역의 기반이 된다. 겐첸은 [[페아노 공리계]]의 일관성을 증명하기 # ∧-도입 규칙 "The Rule of ∧-introduction" (∧I) ...

...c" (2006).</ref> 최초의 시스템은 [[스티븐 클레이니]]와 [[존 버클리 로서]]가 [[클리네-로저 역설]]을 제창하면서 1935년 [[무모순성|논리적 모순]]을 보이기 위해 도입됐다.<ref>{{저널 인용|last1=Kleene|first1=S. C.|authorl == 도입 == ...

=== 19세기:현미경의 도입 === * Fenn와 March는 1935년 발표한 논문에서 힘-속도 관계를 다음과 같은 식으로 나타내었다. ...

...sofformerwo00mcph/page/n619 608]}}</ref>는 [[지진]]의 [[지진 규모|규모]]를 측정하는 그 척도로 1935년 [[찰스 릭터]]가 자신의 논문에서 "규모 척도"(magnitude scale)라는 이름으로 처음으로 개발하였다.<ref>{{Harvn 1935년 릭터가 이러한 규모 척도를 처음으로 발표했을 땐 해리 우드의 제안에 따라 단순하게 그냥 "규모" 척도라고 불렀다.<ref>{{Harvn ...

|[[명제논리|논리합의 도입]] * Richard Sylvan (Richard Routley라고도, [[뉴질랜드]]/오스트레일리아, 1935년 - 1996년) ...

...크기인 [[지진 규모]]를 측정하는 척도이다. 1979년 [[토마스 C. 행크스]]와 [[가나모리 히로오]]가 처음으로 개발하였다. 1935년 [[찰스 릭터]]가 개발한 규모 단위인 [[릭터 규모]]와 비슷하게 [[로그 눈금|로그 척도]]를 사용한 단위이다. ...hter|1956a}}.</ref> 릭터는 기준점을 세워 규모가 1 증가할때마다 지진파의 진폭이 10배 단위로 늘어나게 설계한 단위를 1935년 자신의 논문에서 "규모 단위"라는 이름으로 처음으로 공개했는데, 이것이 바로 M_L이라는 약자로 부르는 국지 규모 혹 ...