{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"paths","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{},"path":{"id":"path-proof-and-evidence-literacy","title":{"zh-Hant":"證明與證據素養","en":"Proof and Evidence Literacy"},"summary":{"zh-Hant":"先辨識證明義務，再區分人工證明、有限計算證據與精確形式證明。","en":"Identify proof obligations before distinguishing human proof, finite computational evidence, and exact formal proof."},"audience":["general_learner","undergraduate"],"review":"reviewed","nodes":[{"id":"mko-proof","position":1,"requirement":"required","rationale":{"zh-Hant":"先建立前提、推理、結論與非證明證據的區分。","en":"First distinguish premises, inference, conclusions, and evidence that is not a proof."}},{"id":"mko-euclid-pythagorean-theorem","position":2,"requirement":"required","rationale":{"zh-Hant":"同一物件同時具有人工、Python、FELRA 與 Lean 證據。","en":"Inspect one object carrying human, Python, FELRA, and Lean evidence at the same time."}},{"id":"mko-right-triangle","position":3,"requirement":"optional","rationale":{"zh-Hant":"比較定義物件與定理物件的證據需求。","en":"Compare the evidence needs of a definition object and a theorem object."}},{"id":"mko-tends-to-relation","position":3,"requirement":"optional","rationale":{"zh-Hant":"比較形式核心與完整分析語義的邊界。","en":"Compare a formal core with the boundary of complete analysis semantics."}}]},"title":"Proof and Evidence Literacy"}