증명,proof

Difference between r1.16 and the current

@@ -11,6 +11,9 @@
[[공리,axiom]]
[[공준,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
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"
----
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
LLMs as Copilots for Theorem Proving





Sub: 여러가지증명 - 옛날에만든...







elementary proof is a mathematical proof that only uses basic techniques. -- user1 2023-11-26 04:50:07


impossibility =,impossibility . impossibility
{
불가능성 불능




}//impossibility ... NN:impossibility Ggl:impossibility


tmp video en
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 형식증명 형식적증명

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
LLMs as Copilots for Theorem Proving