Quantcast
[ 3 / biz / cgl / ck / diy / fa / g / ic / jp / lit / sci / tg / vr / vt ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

/vt/ is now archived.Become a Patron!

/sci/ - Science & Math

Search:


View post   

[ Toggle deleted replies ]
>> No.10061071 [DELETED]  [View]
File: 44 KB, 600x450, 3315169_1_o.jpg [View same] [iqdb] [saucenao] [google] [report]
10061071

>>10061055
>You have no idea how far behind the curve you really are.
Only an undergrad could be so delusional.
I am for proof assistants but nowadays you can use them only in certain fields of mathematics.
A theorem prover would be akin to general artificial intelligence.
And funny that you post a paper dated 1995.
They probably though they were pretty close then.



Navigation
View posts [+24] [+48] [+96]