MHB Working with decidable predicates

  • Thread starter Thread starter HashTab
  • Start date Start date
Click For Summary
The discussion revolves around understanding the calculation of decidable predicates as presented in a specific article. The main focus is on clarifying the first equation, which is not clearly numbered or formatted as an equation in the text. Participants express confusion about how to interpret the formula, particularly regarding its output being either 1 or 0. The lack of clarity in the article's presentation is a significant concern for those trying to grasp the concepts. Overall, the need for better formatting and explanation of the equations is emphasized.
HashTab
Messages
3
Reaction score
0
I am currently reading this article

Here

I was wondering how to calculate the contents of it
Mainly the first equation equaling 1 or 0
 
Physics news on Phys.org
This article does not seem to have numbered equations, and the first formula on its own line is not an equation.
 

Thread 'Two interesting number theory tricks'

First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...
View full post »

Similar threads

Undergrad Predicates and Models ... Goldrei
  • · Replies 6 ·
Replies
6
Views
2K
MHB Predicate logic with multiple quantifiers
  • · Replies 2 ·
Replies
2
Views
2K
MHB Solve Logic Puzzle: Predicates & True/False Explained
  • · Replies 1 ·
Replies
1
Views
2K
MHB Exponential distribution question
  • · Replies 1 ·
Replies
1
Views
2K
MHB Properties of the Ordinals ....
  • · Replies 1 ·
Replies
1
Views
1K
MHB Can Predicate Logic Capture Complex Human Reasoning?
  • · Replies 3 ·
Replies
3
Views
2K
MHB Well Orders and Total Orders .... Searcoid Definition 1.3.10 ....
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad How do E[X] and E[|X|] relate?
  • · Replies 6 ·
Replies
6
Views
969
How can I improve my understanding of predicate logic?
  • · Replies 5 ·
Replies
5
Views
4K
MHB What are the properties of partial order relations according to J&W's book?
  • · Replies 1 ·
Replies
1
Views
2K