No results for "Category:Computability and recursion theory" (auto) in titles.

Suggestions for article titles:

1. Repulsion theory: In botany, Repulsion theory is a theory that is used to explain how plants regulate the distance between new budding leaves on a stem. The theory states that each leaf on a stem secretes a substance that inhibits growth of ... (Biology) [100%] 2023-11-24 [Plant morphology]
2. Recursion: Recursion is the repeated application of a procedure or definition through reference to itself. There's a simple procedure for finding out whether a number is divisible by three. [97%] 2023-03-13 [Computer Science] [Mathematics]...
3. Recursion: Recursion occurs when the definition of a concept or process depends on a simpler or previous version of itself. Recursion is used in a variety of disciplines ranging from linguistics to logic. (Process of repeating items in a self-similar way) [97%] 2023-12-20 [Recursion] [Theory of computation]...
4. Recursion: Recursion occurs when the definition of a concept or process depends on a simpler version of itself. Recursion is used in a variety of disciplines ranging from linguistics to logic. (Process of repeating items in a self-similar way) [97%] 2023-11-24 [Recursion] [Theory of computation]...
5. Recursion (computer science): In computer science, recursion is a method of solving a computational problem where the solution depends on solutions to smaller instances of the same problem. Recursion solves such recursive problems by using functions that call themselves from within their own ... (Computer science) [97%] 2023-11-25 [Theoretical computer science] [Recursion]...
6. Recursion: A method of defining functions studied in the theory of algorithms and other branches of mathematical logic. This method has been used for a long time in arithmetic to define sequences of numbers (progressions, Fibonacci numbers, etc.). (Mathematics) [97%] 2023-11-25
7. Alpha recursion theory: In recursion theory, α recursion theory is a generalisation of recursion theory to subsets of admissible ordinals \displaystyle{ \alpha }[/math]. An admissible set is closed under \displaystyle{ \Sigma_1(L_\alpha) }[/math] functions, where \displaystyle{ L_\xi }[/math] denotes a rank of ... [94%] 2024-03-23 [Computability theory]
8. Recursive model theory: recursively presented model theory A branch of mathematics that is on the border-line between model theory, algebra and the theory of recursive functions (cf. Recursive function), and related to the study of questions of effectiveness in models and algebras. (Mathematics) [81%] 2023-10-17
9. Recursive set theory: A branch of the theory of recursive functions (cf. Recursive function) that examines and classifies subsets of natural numbers from the point of view of algorithms, and also studies the structures arising as a result of such a classification. (Mathematics) [81%] 2023-10-17
10. Recession: In economics, a recession is a period of contraction of an economy, in which trade and industrial activity is reduced. Technically, a recession is defined as negative growth in real gross domestic product over two consecutive quarters, though other economic ... [75%] 2023-12-01 [Economics] [Financial crisis of 2007 to 2009]...
11. Recession: A recession is defined as two quarters (6 months) of negative economic growth such as occurred when the Biden regime terminated U.S. energy independence and leveled sanctions against the importation of Russian gas, fertilizers, and food stuffs. [75%] 2023-02-16 [Economics] [Economic History]...
12. Recession: In economics, a recession is a business cycle contraction that occurs when there is a general decline in economic activity. Recessions generally occur when there is a widespread drop in spending (an adverse demand shock). (Business cycle contraction) [75%] 2023-11-25 [Recessions] [Unemployment]...
13. Recession: In economics, a recession is a business cycle contraction that occurs when there is a general decline in economic activity. Recessions generally occur when there is a widespread drop in spending (an adverse demand shock). (Finance) [75%] 2023-10-22 [Business cycle]
14. Reversion: A reversion is a property interest retained by an owner when he conveys less than an absolute interest in the property. A reversion is established automatically by law based on a condition of use or termination of an interest by ... [75%] 2023-07-04 [Law]
15. Recession (economics): Recessions have punctuated the growth of the major economies from time to time since the 18th century, causing losses of productive capacity and of human capital. Various remedies have been tried, and it was thought for a time in the ... (Economics) [75%] 2023-06-14
16. Bar recursion: Bar recursion is a generalized form of recursion developed by C. Spector in his 1962 paper. [68%] 2023-09-13 [Recursion]
17. BCFW recursion: The Britto–Cachazo–Feng–Witten recursion relations are a set of on-shell recursion relations in quantum field theory. They are named for their creators, Ruth Britto, Freddy Cachazo, Bo Feng and Edward Witten. (Physics) [68%] 2023-10-05 [Quantum field theory] [Scattering theory]...
18. Mutual recursion: In mathematics and computer science, mutual recursion is a form of recursion where two mathematical or computational objects, such as functions or datatypes, are defined in terms of each other. Mutual recursion is very common in functional programming and in ... (Form of recursion) [68%] 2023-11-25 [Theory of computation] [Recursion]...
19. Double recursion: In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non-primitive recursive functions like the Ackermann function. Raphael M. [68%] 2022-11-26 [Computability theory] [Recursion]...
20. Polymorphic recursion: In computer science, polymorphic recursion (also referred to as Milner–Mycroft typability or the Milner–Mycroft calculus) refers to a recursive parametrically polymorphic function where the type parameter changes with each recursive invocation made, instead of staying constant. Type inference ... [68%] 2023-10-11 [Polymorphism (computer science)] [Recursion]...