 | 힐버트 II.HILBERT II의 목표는 일하는 수학자가 정리를 넣을 수있는 시스템을 만들 수 있습니다. |
| 지금 다운로드 | |
힐버트 II. 순위 및 요약
광고
힐버트 II. 태그
힐버트 II. 설명
Hilbert II의 목표는 일하는 수학자가 이론을 넣을 수있는 시스템의 생성입니다. Hilbert II 프로젝트는 검증되고 읽을 수있는 수학 지식에 대한 분산 액세스입니다. 이름이 이미 제안 되었으므로이 프로젝트는 Hilbert의 프로그램의 전통에 있습니다 .Hilbert II는 공식적인 정확한 형태로 수학적 정리 및 증거를 포함하는 무료, 월드 넓은 수학 지식 기반이되고 싶습니다. 모든 소속 문서는 GNU 무료 문서 라이센스에 따라 게시됩니다. 우리는 공통 수학적 논증을 공식 구문에 적용하는 것을 목표로합니다. 즉, 수학에서 특정 종류의 논증이 종종 사용될 때마다 우리는 Hilbert II의 공식 언어로 통합 할 것을 고대합니다. 이 공식적인 언어는 Qedeq Format이라고합니다 .Hilbert II는 수학자가 해당 지식 기반에 정리와 증거를 넣을 수있는 프로그램 스위트를 제공합니다. 이러한 증명은 증거 검사기에 의해 자동으로 확인됩니다. 또한 "일반적인 수학적 언어"의 텍스트는 통합 될 수 있습니다. 수학 공리, 정의 및 제안은 소위 Qedeq 모듈과 결합됩니다. 이러한 모듈은 정식 정확한 증명을 포함하는 수학 교과서로 볼 수 있습니다. 이 시스템이 중앙에서 관리되지 않고 인터넷의 모든 위치에 대한 참조가 가능하기 때문에 세계 넓은 수학 지식 기반이 빌드 될 수 있습니다.이 "수학적 웹"의 정리의 정리 증명은 매우 초등학교 규칙과 공리로 뚫을 수 있습니다. ...에 하이퍼 링크로 수학 교과서의 믿을 수없는 수의 수를 생각해보십시오. 각 증거는 Hilbert II에서 확인할 수 있습니다. 각 정리에 대해 다른 정리, 정의 및 공리의 종속성을 쉽게 파생시킬 수 있습니다.이 프로젝트의 기본 개념은 PDF 문서로 게시됩니다. 기본 개념. 이 문서는 이미 다음 XML 파일에서 생성됩니다. Qedeq_basic_concept.xml. 주 프로젝트는 첫 번째 도큐멘트 단계에서 개발 중입니다. Principia Mathematica II라는 작업 프로토 타입이 있습니다. 그것은 첫 번째 주문 술어 로직을 완전히 할 수 있으며 Hilbert II의 주요 기능과 기능을 보여줍니다. 인터넷 어디에서나 위치한 (프로토 타입) QEDEQ 모듈 파일을 확인할 수 있습니다. 프로토 타입은 GUI를 가지고 있으며 QEDEQ 모듈을 HTML 및 LATEX 파일로 전송할 수 있습니다. 자신만의 새로운 Qedeq 모듈을 만들고 편집하고 인터넷에 게시 할 수 있습니다. 웹에서 기존의 Qedeq 모듈은이를 참조하여 사용할 수 있습니다. 또한 제공됩니다. · Eclipse 프로젝트 디렉토리는 다양한 보고서뿐만 아니라 확대 된 SRC 디렉토리에도 포함되어 있습니다. · Apache Commons 라이브러리가 사용됩니다 (예 : 스레드 안전 날짜 형식). · 재구성 된 빌드 프로세스 및 새로운 패키지 하위 디비전은 새로운 프로젝트 구조로.
힐버트 II. 관련 소프트웨어
