힐버트 II 프로젝트는 확인 읽을 수학적 지식에 분산 된 접근이다. 이 이름은 이미 알 수 있듯이,이 프로젝트는 힐버트의 프로그램의 전통입니다.
힐버트 II는 공식적인 올바른 형태의 수학적 정리와 증거가 포함 된 무료, 월드 와이드 수학적 지식베이스되고 싶다. 모든 속하는 문서는 GNU 자유 문서 사용 허가서를하고 있습니다. 우리는 형식적인 구문에 대한 공통의 수학적 논증을 적용하는 것을 목표로
. 즉, 수학 논증의 특정 종류는 종종 우리가 힐버트 II의 공식 언어에 통합 기대합니다 사용될 때마다 의미한다. 이 공식 언어는 qedeq 형식이라고합니다.
힐버트 II는 지식베이스로 정리하고 증거를 넣어 수학자를 수있는 프로그램 제품군을 제공합니다. 이러한 증거가 자동으로 증명 검사에 의해 확인됩니다. 또한 "일반적인 수학 언어"의 텍스트는. 통합 될 수
수학 공리, 정의와 명제는 그래서 qedeq 모듈을 호출하기 위해 결합된다. 이러한 모듈은 공식적인 정확한 증거를 포함하는 수학 교과서로 볼 수있다. 이 시스템은 중앙 투여하고 인터넷에서 어떤 위치에 대한 참조가 가능하지 않으므로, 월드 와이드 수학적 지식 기반이 구축 될 수있다.이 "수학 웹"에 정리의 모든 증거를 드릴 수
아주 기본적인 규칙과 공리에 이르기까지. 하이퍼 링크와 수학 교과서의 놀라운 수의 생각과 증거 각각 힐버트 II에 의해 확인 될 수있다. 각각의 정리를 들어 다른 정리, 정의와 공리의 의존성이 쉽게 도출 될 수있는이 프로젝트의 기본 개념은 PDF 문서로 게시
:. 기본 개념. 이 문서는 이미 다음 XML 파일에서 생성됩니다 qedeq_basic_concept.xml을. 주요 프로젝트는 개발을 참조, 첫 번째 develompment 단계에있다.
는
수학 원리 II라는 프로토 타입이 존재한다. 그것은 일차 술어 논리의 완벽하게 할 수 있고 주요 기능 및 힐버트 II의 기능을 보여줍니다. 그것은 인터넷에서 아무 곳이나 위치 (프로토 타입) qedeq 모듈 파일을 확인할 수 있습니다.
프로토 타입이 GUI를 가지고 HTML과 LaTeX의 파일로 qedeq 모듈을 전송할 수 있습니다. 작성하고 자신의 새로운 qedeq 모듈을 편집하고 인터넷에 게시 할 수 있습니다. 웹에서 기존 qedeq 모듈을 참조하여 바로 사용할 수
이 릴리스의 새로운 기능은 다음과 같습니다.로
카테고리별로 검색
인기있는 소프트웨어
CentOS Live CD 22 Jun 18
Plants vs. Zombies 12 May 15
AirSnort 3 Jun 15
qNotesManager 17 Feb 15
Elementary OS 17 Aug 18
Redis 28 Sep 15
Robolinux 19 Jun 17
Hilbert II
유사한 소프트웨어
코멘트 Hilbert II
카테고리별로 검색
인기있는 소프트웨어
Pear OS 14 Nov 16
DHIS 2 17 Feb 15
Super Grub2 Disk 20 Jan 18
Ubuntu MATE 16 Aug 18
Solus 2 Sep 17
WhatsApp for Desktop 18 Jul 15
Boot-Repair-Disk 20 Feb 15
댓글을 찾을 수 없습니다