/sci/ - Science & Math » Thread #11948047

32KiB, 512x512, ITGYu1lXUPsv-_port.jpg

View Same Google iqdb SauceNAO

Anonymous Tue 28 Jul 23:55:10 2020 No.11948047 View Reply Original Report

Quoted By: >>11948157 >>11948179

if two systems have the exact same set of axioms, are valid statements in one system automatically valid in the other system

Anonymous

Anonymous Wed 29 Jul 2020 00:07:25 No.11948093 Report

Quoted By:

instinctively, yes but I assume you could create axioms that use some kind of "randomness" to ensure that they don't.

interesting question, it feels like some symmetric in design kind of problem.

Anonymous

Anonymous Wed 29 Jul 2020 00:32:08 No.11948157 Report

Quoted By:

>>11948047
Seems set based

Anonymous

Anonymous Wed 29 Jul 2020 00:38:21 No.11948179 Report

Quoted By:

>>11948047
If you create a function from one set of N axioms to another set of N axioms, statements from the first set, under the function, equal statements from the second set

Anonymous

Anonymous Wed 29 Jul 2020 10:57:35 No.11949401 Report

Quoted By:

bump

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

Your latest searches