Metadata
Author: WikiMatrix
Data
English[en]
Initially, their proof was not accepted by all mathematicians because the computer-assisted proof was infeasible for a human to check by hand (Swart 1980).
Persian[fa]
در ابتدا اثبات آنها از طرف همه ریاضیدانها مورد تأیید واقع نشد، چرا که چک کردن یک اثبات کامپیوتری توسط انسان امکانپذیر نبود(Swart ۱۹۸۰).