8 처지: 크레이그의 보간 정리, 철학자, 수리논리학, 수학자, 영국, 형식 언어, 완비 거리 공간, 1차 논리.
크레이그의 보간 정리
이그의 보간 정리(Craig's interpolation theorem, -補間 定理)는 증명 이론의 정리로, 미국의 철학자이자 논리학자인 윌리엄 크레이그가 제시하였.
새로운!!: 로빈슨의 정리와 크레이그의 보간 정리 · 더보기 »
철학자
학.
새로운!!: 로빈슨의 정리와 철학자 · 더보기 »
수리논리학
수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.
새로운!!: 로빈슨의 정리와 수리논리학 · 더보기 »
수학자
레온하르트 오일러는 유명한 수학자들 중 한 명이다. 수학자(數學者)는 수학을 주로 연구하고, 발전시켜 나가는 사람을 말. 수학자는 수학적 지식을 증진시키기 위한 연구 업무를 수행하며, 생명과학, 물리학, 사회학, 보험학 및 공학 분야의 문제를 해결하기 위해서 기술을 개발•응용하는데 관련된 수학적 업무를 수행.
새로운!!: 로빈슨의 정리와 수학자 · 더보기 »
영국
이트 브리튼 북아일랜드 연합왕국(-聯合王國), 약칭 브리튼() 또는 연합왕국(聯合王國,, UK) 혹은 영국(英國)은 유럽 북서부 해안의 브리튼 제도에 위치한 주권국이자 섬나라로, 북해, 영국 해협, 아일랜드 해 및 대서양에 접하여 있으며 그레이트 브리튼 섬의 잉글랜드, 스코틀랜드, 웨일스 및 아일랜드 섬 북부의 북아일랜드로 네 개의 구성국으로 이루어져 있는 연합국가이.
새로운!!: 로빈슨의 정리와 영국 · 더보기 »
형식 언어
형식 언어는 유한한 종류의 문자로 이루어진 유한한 길이의 문자열의 집합을 말. 형식 언어는 수학, 논리학, 언어학, 정보 이론 등에서 사용하고 있으며, 또한 계산가능성 이론과 밀접하게 관련되어 있.
새로운!!: 로빈슨의 정리와 형식 언어 · 더보기 »
완비 거리 공간
학에서, 완비 거리 공간(完備距離空間)은 그 안이나 경계에 "빠진 점"이 없는 거리 공간이.
새로운!!: 로빈슨의 정리와 완비 거리 공간 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 로빈슨의 정리와 1차 논리 · 더보기 »