266:
are functions from functions to functions; in order for the elements of a model of the lambda calculus to be of arbitrary domain and range, they could not be true functions, only partial functions.” to be impenetrable. Is LC’s need for a semantics any different from other formalisms like FOL? Can the CC be a model for LC? Why isn’t CC also a “purely syntactic system”? The last sentence is especially difficult, in that the part after the ; is not obviously related to the however part, and moreover makes statements (“could not be…would have to be…”) without explanation or justification.
95:
246:", but the article never seems to specify what a "domain" is later on. There is a section about "motivation and intuition", followed by a "guide to formal definitions", but I can't see anywhere a clear explanation of what a domain is. On the other hand, Giez et al. give a definition on p. 54 (a domain is a dcpo that is continuous as a poset). I am not familiar with that field, but would like to get a better idea about it. Shouldn't there be a clear def of domain somewhere in the article?
85:
64:
31:
174:
22:
265:
I find the sentences “Such a model would formalize a link between the lambda calculus as a purely syntactic system and the lambda calculus as a notational system for manipulating concrete mathematical functions. The combinator calculus is such a model. However, the elements of the combinator calculus
292:
I would prefer this section to actually talk about the main requirement from
Computations, namely that the functions involved be partial recursive, or recursive (when total). Also when are the sets recursively enumerable? Domain theory introduces many mathematical constructs, such as these "compact"
216:"Computations that have not yet returned a result" are *not* "The 'result' of a computation that never ends." Does the bottom in domain theory denote "insufficient information about a computation (that is guaranteed to terminate)" or "divergence, never ends."? These are completely different things.
151:
336:
341:
326:
35:
331:
351:
141:
346:
321:
117:
316:
273:
223:
108:
69:
293:
elements which are not even finite. So explain the connection with recursion theory to actually connect with computations.
187:
44:
196:
21:
277:
227:
298:
50:
94:
269:
242:
The lead of the article alludes to "special kinds of partially ordered sets (posets) commonly called
219:
251:
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
202:
100:
84:
63:
198:
173:
247:
310:
294:
113:
90:
200:
302:
281:
255:
231:
261:
Semantic
Challenges Could Be Explained In A More Accessible Way
203:
167:
15:
112:, a collaborative effort to improve the coverage of
337:Knowledge level-5 vital articles in Mathematics
8:
19:
267:
217:
58:
342:Start-Class vital articles in Mathematics
327:Knowledge vital articles in Mathematics
60:
7:
106:This article is within the scope of
49:It is of interest to the following
332:Start-Class level-5 vital articles
14:
352:Mid-priority mathematics articles
126:Knowledge:WikiProject Mathematics
347:Start-Class mathematics articles
322:Knowledge level-5 vital articles
172:
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
146:This article has been rated as
1:
232:22:00, 11 December 2016 (UTC)
120:and see a list of open tasks.
282:02:58, 5 December 2022 (UTC)
256:07:55, 31 August 2022 (UTC)
368:
317:Start-Class vital articles
303:17:00, 18 April 2023 (UTC)
145:
78:
57:
288:Computations and Domains
238:No definition of domain?
212:Conflicting definitions?
152:project's priority scale
109:WikiProject Mathematics
36:level-5 vital article
132:mathematics articles
101:Mathematics portal
45:content assessment
284:
272:comment added by
234:
222:comment added by
209:
208:
166:
165:
162:
161:
158:
157:
359:
204:
176:
168:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
367:
366:
362:
361:
360:
358:
357:
356:
307:
306:
290:
263:
240:
214:
205:
199:
181:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
365:
363:
355:
354:
349:
344:
339:
334:
329:
324:
319:
309:
308:
289:
286:
262:
259:
239:
236:
213:
210:
207:
206:
201:
197:
195:
192:
191:
183:
182:
177:
171:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
364:
353:
350:
348:
345:
343:
340:
338:
335:
333:
330:
328:
325:
323:
320:
318:
315:
314:
312:
305:
304:
300:
296:
287:
285:
283:
279:
275:
274:73.238.169.75
271:
260:
258:
257:
253:
249:
245:
237:
235:
233:
229:
225:
221:
211:
194:
193:
190:
189:
185:
184:
180:
175:
170:
169:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
291:
268:— Preceding
264:
243:
241:
224:86.82.44.193
218:— Preceding
215:
186:
178:
148:Mid-priority
147:
107:
73:Mid‑priority
51:WikiProjects
34:
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
311:Categories
248:PatrickR2
39:is rated
295:RoyMWiki
270:unsigned
220:unsigned
179:Archives
244:domains
150:on the
47:scale.
28:This
299:talk
278:talk
252:talk
228:talk
142:Mid
313::
301:)
280:)
254:)
230:)
297:(
276:(
250:(
226:(
188:1
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.