에버트 윌렘 베스

이 글은 일반적인 참고문헌 목록을 포함하고 있지만, 그에 상응하는 인라인 인용구가 충분하지 않기 때문에 대체로 검증되지 않은 상태로 남아 있다. 보다 정확한 인용문을 도입하여 이 기사를 개선할 수 있도록 도와주십시오. (2013년 4월) (이 템플릿 메시지를 제거하는 방법과 시기 알아보기)

에버트 윌렘 베스(Evert Willem Beth, 1908년 7월 7일 ~ 1964년 4월 12일)는 네덜란드의 철학자 겸 논리학자였으며, 그의 작품은 주로 수학의 기초에 관한 것이었다. 그는 Mediouss 그룹의 일원이었다.

전기

베스는 네덜란드 동부의 작은 마을인 알멜로에서 태어났다. 그의 아버지는 암스테르담 대학에서 수학과 물리학을 공부했고 그곳에서 박사학위를 받았다. 에버트 베스는 위트레흐트 대학에서 같은 과목을 공부했지만, 그 후 철학과 심리학도 공부했다. 그의 1935년 박사 학위는 철학에 있었다.

1946년에 그는 암스테르담의 논리학과 수학의 기초가 되었다. 1951년 알프레드 타르스키의 연구 조교로, 1957년 존스홉킨스 대학의 초빙 교수로 두 번의 짧은 방해 외에, 그는 1964년 사망할 때까지 암스테르담에서 계속 그 자리를 지켰다. 그는 논리와 수학의 근간에서 조국 최초의 학문적 지위였으며, 이 기간 동안 학문적 기강으로서 논리를 확립하는 데 국제 공조에 적극 기여했다.

1953년에 그는 네덜란드 왕립 예술 과학 아카데미의 회원이 되었다.^[1]

그는 암스테르담에서 죽었다.

논리에 대한 기여

정의 정리

이 구간은 확장이 필요하다. 추가하면 도움이 된다. (2014년 4월)

정의 정리는 술어(또는 함수 또는 상수)는 명시적으로 정의할 수 있는 경우에만 암묵적으로 정의할 수 있다고 명시한다. Beth 정의가능성에 따라 추가 설명이 제공된다.

시멘틱 테이블보

형식논리에 대한 베스의 가장 유명한 공헌은 명제논리와 1차논리의 결정절차인 의미론적 표고다. 그것은 프리지, 러셀과 화이트헤드, 힐버트, 또는 심지어 겐첸의 자연적 추론과 같은 형식적 시스템에서의 이론의 입증과는 반대로 비트겐슈타인의 진리표나 J. 알란 로빈슨 결의와 같은 의미론적 방법이다. 의미론적 표석은 제안적 논리에 효과적인 결정 절차인 반면, 1차적 논리는 교회의 정리에서 알 수 있듯이, 1차적 논리는 해석할 수 없기 때문에 1차적 논리에 대해서는 반효과적일 뿐이다. 이 방법은 특히 논리학 연구에 익숙하지 않은 학생들에게 직관적으로 단순하다고 많은 사람들이 생각하고 있으며, 진리표법(명제문자가 명제된 문장에는 2열로ⁿ 된 테이블이 필요하다)보다 빠르다. 이러한 이유로 윌프리드 호지스는 예를 들어 자신의 입문 교과서에서 의미론적 표석을 제시하고, 로직과 멜빈 피팅은 컴퓨터 과학자를 위한 1차 논리 제시, 1차 논리학, 자동 정리 증명에서도 같은 일을 한다.

하나는 공식의$$ $set{\displaystyle \mathrm{}}$ ${\$이(가) 공식의 다른 공식 $\phi {\displaystyle }$ ${\$을(를) 암시한다는 것을 증명하려는 의도로 시작한다$.$ 방법은 $\gamma {\displaystyle \mathrm{}}$ ${\$$displaystyle \Gamma \,}$과$({\displaystyle \mathrm{}}$$와{\displaystyle }$)$display$ {\displaystyle$\neg$ \$varphi }$의 모든 구성원의 동시 진리를 가정하고,$$ 가능한 모든 분기에 ($simpler$) 공식의 트리 같은 구조로 이 목록을 분기하는 규칙을 적용하는 것이다.$$격언 이때 $displaystyle \Gamma \cup\{\nec \varphi \}}}$이(가) 일관성이$$ 없다는 것이 확인되었을 것이며, 따라서 $\gamma {\displaystyle \mathrm{}}$ ${\$\}의 공식은 함께 $imply$ ${\$을 암시한다$.$

베스 모델

이 구간은 확장이 필요하다. 추가하면 도움이 된다. (2014년 4월)

이들은 비분류 논리(cf)에 대한 관계형 모델의 한 종류다. Kripke 의미론).

책들

• 에버트 W. 베스, 수학의 기초. 과학 철학에 관한 연구. XXVί + 722 pp. 1959년 북홀랜드 암스테르담.
• 에버트 W. 베스, 에피스텔로니 마테마티크 등 심리학자(J. Piaget과 함께). 352페이지. 파리 P.U.F. 1961
• 에버트 W. 베스, 형식적인 방법: 상징논리와 산술과 논리의 효과적인 연산을 위한 연구에 대한 소개. D. 레이델 출판사 / 도데흐트 홀랜드, 1962년.
• 에버트 W. 베스, 현대 논리의 측면들 D. 레이델 출판사 / 도데흐트 홀랜드, 1971년

참고 항목

• 게릿 매너리
• 분석표기법

참조

외부 링크

위키미디어 커먼즈에는 에버트 윌렘 베스와 관련된 미디어가 있다.

• 2013년 베스상
• 에버트 윌렘 베스 재단