84:
74:
53:
22:
172:
I am trying to teach myself more math stuff, specifically as it relates to lambda calculus and Church
Numerals. But I am having trouble because a lot of these articles are very partial in their explanation. For instance this: " 5 + 2 = 5 + S(1) = S(5 + 1) = S(5 + S(0)) = S(S(5 + 0)) = S(S(5)) = S(6)
188:
The explanations are given before in the article. "S" denotes the successor function, so e.g. S(1)=2, this should explain the first equation in the chain. m+S(n)=S(m+n) is the second part of the recursive definition of addition ("+") in terms of successor ("S"), applied to m=5 and n=1, this should
157:
Currently, this redirects to an article that references the
Successor Function, but doesn't even hint at its meaning. I actually got here trying to figure out what it was. The Primitive Recursive Function article explicitly defines it, so I'm redirecting there.
173:= 7." from the article has absolutely no explanation. What is up with this notation system? Why is it like this? What is going on and what does it mean? These things should be better explained.
140:
240:
130:
235:
106:
213:
206:
97:
58:
33:
194:
178:
217:
21:
190:
39:
83:
174:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
159:
229:
102:
79:
221:
198:
182:
168:
There needs to be more full explanation of these concepts and their notation
162:
15:
189:
explain the second equation in the chain. And so on. -
205:
Does this really need to be a separate article from
101:, a collaborative effort to improve the coverage of
8:
19:
47:
49:
7:
95:This article is within the scope of
38:It is of interest to the following
14:
241:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
236:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
163:04:31, 19 September 2007 (UTC)
1:
109:and see a list of open tasks.
199:14:38, 19 August 2019 (UTC)
183:22:16, 18 August 2019 (UTC)
257:
222:18:45, 22 July 2023 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
248:
191:Jochen Burghardt
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
256:
255:
251:
250:
249:
247:
246:
245:
226:
225:
224:
211:
170:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
254:
252:
244:
243:
238:
228:
227:
214:212.75.236.148
212:
210:
203:
202:
201:
175:Thedonquixotic
169:
166:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
253:
242:
239:
237:
234:
233:
231:
223:
219:
215:
208:
204:
200:
196:
192:
187:
186:
185:
184:
180:
176:
167:
165:
164:
161:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
171:
156:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
160:Bigmantonyd
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
230:Categories
139:on the
36:scale.
218:talk
207:this
195:talk
179:talk
131:Low
232::
220:)
197:)
181:)
216:(
209:?
193:(
177:(
158:-
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.