Re:Found around 250 hilarious CS quotes while browsing Notep...
by afiori on Tuesday November 08, 2022 @08:31AM
(#33518729)
The ontological argument is a valid deduction
> A, B implies not A thus not B
The problem is that you have to prove both A and (B implies not A), without self referentially assuming it in the first place,
Re:Found around 250 hilarious CS quotes while browsing Notep...
by quickthrower2 on Wednesday November 09, 2022 @12:05AM
(#33527698)
Sounds like proof by contradiction
Re:Found around 250 hilarious CS quotes while browsing Notep...
by quickthrower2 on Wednesday November 09, 2022 @03:15AM
(#33528687)
Also the definition of an alibi!
>The God is perfect.
>If the God did not exist it wouldn't be perfect.
>Therefore God must exist.
https://en.wikipedia.org/wiki/Ontological_argument#Ren%C3%A9...