/sci/ - Science & Math » Thread #11005147

113KiB, 532x720, Lam-blog.jpg

View Same Google iqdb SauceNAO

Anonymous Thu 26 Sep 07:02:43 2019 No.11005147 View Reply Original Report

Quoted By: >>11005297 >>11006465 >>11006533

What would happen if I ran a SMT solver on an undecidable system of equations?

Anonymous

Anonymous Thu 26 Sep 2019 09:20:43 No.11005297 Report

Quoted By:

>>11005147
Lam. That fucker Crowley is solely responsible for opening the interdimensional gate. Since then have had the famous adbuction stories.

Anonymous

Anonymous Thu 26 Sep 2019 17:51:07 No.11006397 Report

Quoted By: >>11006467

I think it would just never halt.

Anonymous

Anonymous Thu 26 Sep 2019 18:26:28 No.11006465 Report

Quoted By:

>>11005147
one of two things happens, either it never terminates or it does and you prove that ZFC is inconsistent and probably win a Fields

Anonymous

Anonymous Thu 26 Sep 2019 18:28:05 No.11006467 Report

Quoted By:

>>11006397
ArE yOu SuRe?

Anonymous

Anonymous Thu 26 Sep 2019 19:05:38 No.11006533 Report

Quoted By:

>>11005147
you'd have to fight Satan and God

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First