81:
71:
53:
22:
267:
This reference seems to be a collection of research articles and survey articles, it may have some good information for this article. Sadly it is not in my library. "Nonstandard
Methods And Applications in Mathematics‎" by Nigel Cutland, Mauro Di Nasso, David A. Ross - Mathematics - 2006 - 248
211:
Liu, S.-C.: A proof-theoretic approach to nonstandard analysis with emphasis on distinguishing between constructive and non-constructive results, in: H.J. Keisler and K. Kunen (eds.), The Kleene
Symposium, North-Holland, Amsterdam 1980, 391 - 414.
236:
Also the book: "Modern Logic--A Survey: Historical, Philosophical, and
Mathematical Aspects of Modern Logic and Its Applications" By Evandro Agazzi Contributor Evandro Agazzi Published by Springer, 1980 ISBN 9027711372, 9789027711373 475 pages
244:
Here is a reference for engineering "A non-standard analysis approach to systems involving friction" by Naser
Mostaghel, Journal of Sound and Vibration, Volume 284, Issues 3-5, 21 June 2005, Pages 583-595
172:
133:
279:
if a few editors could agree to cooperate on working on this page, we could divvy up some papers that seem interesting and/or important and everyone could chip in a report.
307:
127:
227:
Vesley, R.: An intuitionistic infinitesimal calculus, in: F. Richman (ed.) Constructive
Mathematics, Lecture Notes in Mathematics, Vol. 873, Springer, 1983.
248:
But what we really need is a survey. Just because I can find alot of articles on say education, doesn't mean NSA has had much influence on education.
302:
233:
Ross, David A.: A nonstandard proof of a lemma from constructive measure theory, Mathematical Logic
Quarterly, Volume 52 Issue 5, Pages 494 - 497
103:
240:
Has an article by J E FENSTAD titled "Logic and
Probability" that contains a section about some of the applications of NSA to probability.
224:
Palmgren, E.: Sheaf-theoretic nonstandard analysis: constructive aspects. Uppsala
University, Department of Mathematics Report 1996:28.
205:
I am placing here some notes and references that may help write a section on the influence of non-standard analysis on constructivism.
155:
As per discussion from AfD, it seems moving this to "Impact..." has a bit more support. We should also merge "Criticism..." there.
94:
58:
187:
33:
221:
Palmgren, E.: Constructive nonstandard analysis, Cahiers du Centre de
Logique, vol. 9, Academia, Louvain, 1996.
273:
Somehow I missed this list until now. I hope some of this material makes it into the article itself. Perhaps
21:
218:
Palmgren, E.: A constructive approach to nonstandard analysis, Ann. Pure Appl. Logic 73(1995), 297 -- 325.
215:
Moerdijk, I.: A model for intuitionistic non-standard arithmetic, Ann. Pure Appl. Logic 73(1995), 37 --51.
39:
80:
253:
176:
160:
102:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
86:
288:
257:
193:
164:
70:
52:
284:
230:
Wattenberg, F.: Nonstandard analysis and constructivism? Studia Logica 47(1988), 303 -- 309.
249:
156:
296:
280:
99:
76:
208:
First some references I found on the web, only a few I was aware of before:
15:
173:
Knowledge:Articles for deletion/Bishop–Keisler controversy
98:, a collaborative effort to improve the coverage of
132:This article has not yet received a rating on the
8:
19:
47:
49:
308:Unknown-priority mathematics articles
7:
92:This article is within the scope of
38:It is of interest to the following
175:for those just getting to this) —/
14:
112:Knowledge:WikiProject Mathematics
303:Start-Class mathematics articles
115:Template:WikiProject Mathematics
79:
69:
51:
20:
1:
289:18:12, 21 December 2008 (UTC)
258:15:34, 19 December 2008 (UTC)
194:17:54, 21 December 2008 (UTC)
165:11:42, 19 December 2008 (UTC)
106:and see a list of open tasks.
171:(the AfD in question being
324:
131:
64:
46:
134:project's priority scale
95:WikiProject Mathematics
28:This article is rated
118:mathematics articles
87:Mathematics portal
34:content assessment
196:
190:
182:
148:
147:
144:
143:
140:
139:
315:
186:
180:
170:
120:
119:
116:
113:
110:
89:
84:
83:
73:
66:
65:
55:
48:
31:
25:
24:
16:
323:
322:
318:
317:
316:
314:
313:
312:
293:
292:
203:
191:
153:
117:
114:
111:
108:
107:
85:
78:
32:on Knowledge's
29:
12:
11:
5:
321:
319:
311:
310:
305:
295:
294:
277:
276:
275:
274:
271:
270:
269:
243:
202:
199:
198:
197:
185:
152:
149:
146:
145:
142:
141:
138:
137:
130:
124:
123:
121:
104:the discussion
91:
90:
74:
62:
61:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
320:
309:
306:
304:
301:
300:
298:
291:
290:
286:
282:
272:
266:
265:
264:
263:
262:
261:
260:
259:
255:
251:
246:
241:
238:
234:
231:
228:
225:
222:
219:
216:
213:
209:
206:
200:
195:
189:
183:
179:
174:
169:
168:
167:
166:
162:
158:
150:
135:
129:
126:
125:
122:
105:
101:
97:
96:
88:
82:
77:
75:
72:
68:
67:
63:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
278:
247:
242:
239:
235:
232:
229:
226:
223:
220:
217:
214:
210:
207:
204:
177:
154:
93:
40:WikiProjects
109:Mathematics
100:mathematics
59:Mathematics
30:Start-class
297:Categories
250:Thenub314
157:Thenub314
281:Katzmik
181:endaliv
151:Impact
36:scale.
268:pages
201:Notes
285:talk
254:talk
161:talk
188:Δ's
128:???
299::
287:)
256:)
192:/
184://
163:)
283:(
252:(
178:M
159:(
136:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.