Difference between r1.16 and the current
@@ -11,6 +11,9 @@
[[공리,axiom]]
[[공준,postulate]]
[[명제,proposition]]는 증명되면 [[정리,theorem]]가 됨? chk
----
[[공준,postulate]]
[[명제,proposition]]는 증명되면 [[정리,theorem]]가 됨? chk
[[추측,conjecture]]
----
Sub: [[여러가지증명]] - 옛날에만든...----
@@ -23,13 +26,24 @@
https://en.wikipedia.org/wiki/Elementary_proof
[[Comment]]
----
t -- [user6] [[DateTime(2023-11-15T04:31:49)]]
----
elementary proof is a mathematical proof that only uses basic techniques. -- [user1] [[DateTime(2023-11-25T19:50:07)]]
----
https://artofproblemsolving.com/wiki/index.php/Proof_writing -- [user1] [[DateTime(2023-11-29T10:13:15)]]
----
test
https://www.proofwiki.org/wiki/Category:Proofs -- [user1] [[DateTime(2023-12-03T22:16:46)]]
----
[[Comment]]
----
----
https://artofproblemsolving.com/wiki/index.php/Proof_writing -- [user1] [[DateTime(2023-11-29T10:13:15)]]
----
impossibility =,impossibility . impossibility
{
불가능성 불능
WtEn:impossibility
https://en.wikipedia.org/wiki/Proof_of_impossibility
MKL
[[불완전성,incompleteness]]
[[불완전성정리,incompleteness_theorem]]
[[해,solution]]의 부존재( nonexistence ? WtEn:nonexistence NdEn:nonexistence )와 cmp.
}//impossibility ... NN:impossibility Ggl:impossibility
----https://www.proofwiki.org/wiki/Category:Proofs -- [user1] [[DateTime(2023-12-03T22:16:46)]]
----
@@ -44,3 +58,7 @@
WtEn:formal_proof x 2024-04
WpEn:Formal_proof
Ggl:"formal proof" NN:"formal proof"
WpEn:Formal_proof
Ggl:"formal proof" NN:"formal proof"
----
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
LLMs as Copilots for Theorem Proving
MKL
증명이론,proof_theory or 증명론,proof_theory
증명,proof
merge 논리학,logic#s-9 무위의 증명 무위의 증명
영지식증명 zero-knowledge_proof
추론,inference
추론규칙,inference_rule
추론엔진,inference_engine
연역,deduction
자연연역,natural_deduction
공리,axiom
공준,postulate
명제,proposition는 증명되면 정리,theorem가 됨? chk
추측,conjecture
증명이론,proof_theory or 증명론,proof_theory
증명,proof
merge 논리학,logic#s-9 무위의 증명 무위의 증명
영지식증명 zero-knowledge_proof
추론,inference
추론규칙,inference_rule
추론엔진,inference_engine
연역,deduction
자연연역,natural_deduction
공리,axiom
공준,postulate
명제,proposition는 증명되면 정리,theorem가 됨? chk
추측,conjecture
Sub: 여러가지증명 - 옛날에만든...
elementary proof is a mathematical proof that only uses basic techniques. -- user1 2023-11-26 04:50:07
impossibility =,impossibility . impossibility
{
불가능성 불능
{
불가능성 불능
MKL
불완전성,incompleteness
불완전성정리,incompleteness_theorem
해,solution의 부존재( nonexistence ? nonexistence nonexistence )와 cmp.
불완전성,incompleteness
불완전성정리,incompleteness_theorem
해,solution의 부존재( nonexistence ? nonexistence nonexistence )와 cmp.
tmp video en
Terence Tao, "Machine Assisted Proof" - YouTube
https://www.youtube.com/watch?v=AayZuuDDKP0 -- user6 2024-02-24 13:43:02
Terence Tao, "Machine Assisted Proof" - YouTube
https://www.youtube.com/watch?v=AayZuuDDKP0 -- user6 2024-02-24 13:43:02
형식증명,formal_proof =형식증명,formal_proof =,formal_proof 형식증명 formal_proof
formal_proof 형식증명 형식적증명
formal_proof 형식증명 형식적증명
formal proof
http://www.aistudy.com/logic/formal_proof.htm
formal_proof x 2024-04
Formal_proof
formal proof formal proof
http://www.aistudy.com/logic/formal_proof.htm
formal_proof x 2024-04
Formal_proof
formal proof formal proof
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
LLMs as Copilots for Theorem Proving
https://leandojo.org/
LLMs as Copilots for Theorem Proving