Prawf tebygolrwydd

Gofal! Bathiad yw'r term hwn, gan nad oes, hyd y gwyddus, derm Cymraeg am Probabilistic proof.

Mae prawf tebygolrwydd yn un o'r profion mathemategol a ddefnyddir i brofi (neu wrthbrofi) datganiad mathemategol. Mae'n dangos bod enghraifft yn bodoli, i sicrwydd, trwy ddefnyddio dulliau theori tebygolrwydd. Mae prawf tebygolrwydd, fel y 'prawf lluniadol', yn un o sawl ffordd i ddangos theoremau bodolaeth.

Ni ddylid drysu hyn â'r dadl bod theori 'yn ôl pob tebyg' yn wir, a 'dadl eglurder' ('plausibility argument').

Er nad yw'r rhan fwyaf o fathemategwyr yn credu bod y dystiolaeth tebygolrwydd hwn yn cyfrif fel prawf mathemategol dilys, mae rhai mathemategwyr ac athronwyr yn dadlau bod o leiaf rai mathau o dystiolaeth tebygolrwydd (megis algorithm prawf tebygolrwydd Rabin ar gyfer profi cynraddiaeth) cystal â phrofion mathemategol dilys.

Mae'r dull hwn bellach wedi ei gymhwyso i feysydd mathemateg eraill megis theori rhif, algebra llinellol, a dadansoddiad go iawn, yn ogystal â chyfrifiadureg (ee crynhoi ar hap) a theori gwybodaeth.