What makes these initial functions so special?

  • Context: Graduate 
  • Thread starter Thread starter japplepie
  • Start date Start date
  • Tags Tags
    Functions Initial
Click For Summary

Discussion Overview

The discussion revolves around the significance of constant, successor, and projection functions in the context of primitive recursive functions. Participants explore the definition and characteristics of these functions, questioning their uniqueness and the reasoning behind their selection as foundational elements in the definition of primitive recursion.

Discussion Character

  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Some participants assert that breaking a function down into constant, successor, and projection functions indicates it is primitive recursive.
  • Others challenge the use of vague references like "people say" and suggest providing more specific sources or definitions.
  • A participant notes the initial post lacked clarity regarding the discussion of recursive functions, indicating that clearer questions may yield better responses.
  • One participant argues that the functions in question are not inherently "special" but are simply the chosen building blocks for the definition of primitive recursive functions.
  • Another viewpoint suggests that these functions are simple yet powerful enough to avoid issues of undecidability when combined with composition and recursion.

Areas of Agreement / Disagreement

Participants express differing views on the significance and clarity of the functions discussed. There is no consensus on whether the functions are special or merely arbitrary choices in the definition of primitive recursion.

Contextual Notes

Some participants highlight the need for clearer definitions and context when discussing recursive functions, indicating that assumptions about familiarity with terminology may lead to misunderstandings.

japplepie
Messages
93
Reaction score
0
People say that if you could break a function down into these three functions (constant, successor, projection or sometimes called initial/basic functions) using some operators, then it is primitive recursive.

What makes these three functions so special?
 
Mathematics news on Phys.org
japplepie said:
People say that if you could break a function down into these three functions (constant, successor, projection or sometimes called initial/basic functions) using some operators, then it is primitive recursive.

What makes these three functions so special?
I don't know what you are talking about but I advise you that "people say ... " is just about the absolute worst reference you can use for this site and I suggest you get more specific.
 
Again, I don't know anything about what you are talking about but I was struck by the fact that in your second post it became clear that you are talking about recursive functions whereas in your initial post there was not a hint of that. Perhaps people who are familiar w/ the characteristics of functions are automatically flagged by terms like "initial function" to know you are talking about recursive functions but I never would have guessed it.

My point is simply that the more clarity you can bring to your questions, the more likely you are to get helpful answers.
 
I am having trouble understanding the thrust of the question. The definition for primitive recursive function is cast in terms of the constant function, the successor function and the projection function. That does not make those functions "special". They are simply the functions that happened to be used in the definition.

Perhaps a better phrasing is: "Why is the definition the way it is -- why choose those functions as building blocks?"

One answer to that is easy: Because they are about as simple a set of building blocks as it is possible to imagine. And, because, in conjunction with composition and recursion, they give about as much power as it is possible to have without being so powerful that undecidability becomes an issue.

Like phinds, I have no particular expertise in this area. Just muttering stuff that seems blatantly obvious.
 

Similar threads

Undergrad What type is a polynomial function?
  • · Replies 7 ·
Replies
7
Views
2K
Undergrad Alternating Harmonic Numbers are cool, spread the word!
  • · Replies 4 ·
Replies
4
Views
3K
High School Difference between functions and variables
  • · Replies 13 ·
Replies
13
Views
3K
Undergrad Can Angular Velocity Accurately Control Ragdoll Limbs in Game Physics?
  • · Replies 6 ·
Replies
6
Views
4K
MHB Recursive and Primitive recursive functions
  • · Replies 5 ·
Replies
5
Views
3K
MHB Anatomy of piece-wise functions
  • · Replies 2 ·
Replies
2
Views
2K
JavaScript Why use spread operator in this react program? What does it do?
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Open problems in continued fractions
  • · Replies 6 ·
Replies
6
Views
4K
Undergrad Micromass' big October challenge
  • · Replies 125 ·
5
Replies
125
Views
20K
Undergrad Make Intelligent Initial Guesses for Newton-Raphson Programmatically
  • · Replies 16 ·
Replies
16
Views
4K