149:
604:
215:
39:
316:
M. Presburger (1930). "Über der Vollständigkeit eines gewissen
Systems der Arithmetik ganzer Zahlen, in welchen die Addition als einzige Operation hervortritt". In F. Leja (ed.).
377:
Mojżesz
Presburger and Dale Jacquette (1991). "On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation".
128:
O zupełności pewnego systemu arytmetyki liczb całkowitych (About the completeness of a certain system of integer arithmetic in which addition is the only operation)
220:
241:
318:
Comptes Rendus
Premier Congrès des Mathématicienes des Pays Slaves, Varsovie 1929 / Sprawozdanie z I Kongresu matematyków krajów słowiańskich, Warszawa 1929
648:
294:
Claus-Peter Wirth and Jörg
Siekmann and Christoph Benzmüller and Serge Autexier (2009). Lectures on Jacques Herbrand as a Logician (SEKI Report). DFKI.
248:
named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science.
694:
738:
331:
723:
210:
He was born in Warsaw on
December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On May 28, 1923, he got his
582:
728:
758:
641:
687:
493:
346:
753:
748:
634:
552:
413:
680:
203:
as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a
352:(Technical Report). Vol. TR84-639. Ithaca/NY: Dept. of Computer Science, Cornell University. Archived from
293:
733:
571:
481:
17:
743:
668:
622:
485:
465:
249:
200:
192:
100:
718:
713:
204:
196:
8:
541:
474:
325:
295:
188:
148:
548:
489:
409:
230:
226:
521:
469:
386:
245:
353:
664:
618:
525:
390:
707:
614:
576:
453:
441:
429:
234:
184:
172:
588:
38:
180:
376:
82:
347:
Presburger's
Article on Integer Arithmetic: Remarks and Translation
289:
287:
285:
283:
176:
300:
585:
of the 1929 conference where
Presburger presented his arithmetic
280:
611:
603:
211:
122:
512:
Jan
Zygmunt (1991). "Mojżesz Presburger: Life and Work".
169:
591:, European Association for Theoretical Computer Science.
464:
199:. He is known for, among other things, having invented
216:
School of
Commerce of the Merchants' Meeting of Warsaw
572:
Mojżesz
Presburger's Photograph and document of death
242:
European Association for Theoretical Computer Science
540:
473:
705:
320:. Warsaw, Lwów and Krakow. pp. 92–101, 395.
543:Logic and Philosophy in the Lvov-Warsaw School
344:
688:
642:
579:and a Flash presentation by Mikołaj Bojańczyk
315:
663:This biography of a Polish philosopher is a
538:
511:
695:
681:
649:
635:
454:https://www.mimuw.edu.pl/~bojan/presburger
442:https://www.mimuw.edu.pl/~bojan/presburger
430:https://www.mimuw.edu.pl/~bojan/presburger
330:: CS1 maint: location missing publisher (
37:
299:
458:
403:
14:
706:
739:Polish Jews who died in the Holocaust
225:. On October 7, 1930, he was awarded
658:
598:
408:. Wolfram Media, Inc. p. 1152.
24:
724:20th-century Polish mathematicians
25:
770:
565:
729:20th-century Polish philosophers
602:
147:
759:Polish academic biography stubs
532:
514:History and Philosophy of Logic
505:
446:
379:History and Philosophy of Logic
434:
422:
397:
370:
338:
309:
271:
262:
13:
1:
476:Alfred Tarski: Life and Logic
255:
165:
71:
667:. You can help Knowledge by
621:. You can help Knowledge by
244:began conferring the annual
7:
345:Ryan Stansifer (Sep 1984).
10:
775:
754:European philosopher stubs
749:Polish mathematician stubs
657:
597:
577:Documents about Presburger
526:10.1080/014453409108837186
482:Cambridge University Press
391:10.1080/014453409108837187
306:; Here: p.48, footnote 128
404:Wolfram, Stephen (2002).
252:was the first recipient.
146:
141:
137:
121:
114:
106:
96:
88:
78:
67:
48:
36:
29:
43:Mojżesz Presburger, 1923
466:Burdman Feferman, Anita
164:, (December 27, 1904 –
452:Graduation diploma at
183:. He was a student of
610:This article about a
547:. Dordrecht: Reidel.
539:Jan Woleński (1988).
500:Presburger holocaust.
428:Birth certificate at
406:A New Kind of Science
277:Zygmunt (1991), p.222
268:Zygmunt (1991), p.214
201:Presburger arithmetic
193:Kazimierz Ajdukiewicz
101:Presburger arithmetic
229:in mathematics from
197:Kazimierz Kuratowski
132:(M.A. Diploma, 1930)
734:Jewish philosophers
440:Matura document at
168:1943) was a Polish
79:Cause of death
158:Mojżesz Presburger
31:Mojżesz Presburger
676:
675:
630:
629:
495:978-0-521-80240-6
470:Feferman, Solomon
250:Mikołaj Bojańczyk
237:, probably 1943.
231:Warsaw University
155:
154:
116:Scientific career
16:(Redirected from
766:
744:Polish logicians
697:
690:
683:
659:
651:
644:
637:
606:
599:
589:Presburger award
559:
558:
546:
536:
530:
529:
509:
503:
502:
479:
462:
456:
450:
444:
438:
432:
426:
420:
419:
401:
395:
394:
374:
368:
367:
365:
364:
358:
351:
342:
336:
335:
329:
321:
313:
307:
305:
303:
291:
278:
275:
269:
266:
246:Presburger Award
224:
205:decidable theory
167:
151:
133:
73:
59:27 December 1904
58:
56:
41:
27:
26:
21:
774:
773:
769:
768:
767:
765:
764:
763:
704:
703:
702:
701:
656:
655:
595:
568:
563:
562:
555:
537:
533:
510:
506:
496:
463:
459:
451:
447:
439:
435:
427:
423:
416:
402:
398:
375:
371:
362:
360:
356:
349:
343:
339:
323:
322:
314:
310:
292:
281:
276:
272:
267:
263:
258:
218:
189:Jan Łukasiewicz
131:
63:
60:
54:
52:
44:
32:
23:
22:
15:
12:
11:
5:
772:
762:
761:
756:
751:
746:
741:
736:
731:
726:
721:
716:
700:
699:
692:
685:
677:
674:
673:
654:
653:
646:
639:
631:
628:
627:
607:
593:
592:
586:
580:
574:
567:
566:External links
564:
561:
560:
554:978-9027727497
553:
531:
520:(2): 211–223.
504:
494:
457:
445:
433:
421:
414:
396:
369:
337:
308:
279:
270:
260:
259:
257:
254:
153:
152:
144:
143:
139:
138:
135:
134:
125:
119:
118:
112:
111:
110:Rebeka Krejnes
108:
104:
103:
98:
97:Known for
94:
93:
90:
86:
85:
80:
76:
75:
69:
65:
64:
61:
50:
46:
45:
42:
34:
33:
30:
9:
6:
4:
3:
2:
771:
760:
757:
755:
752:
750:
747:
745:
742:
740:
737:
735:
732:
730:
727:
725:
722:
720:
717:
715:
712:
711:
709:
698:
693:
691:
686:
684:
679:
678:
672:
670:
666:
661:
660:
652:
647:
645:
640:
638:
633:
632:
626:
624:
620:
616:
615:mathematician
613:
608:
605:
601:
600:
596:
590:
587:
584:
581:
578:
575:
573:
570:
569:
556:
550:
545:
544:
535:
527:
523:
519:
515:
508:
501:
497:
491:
487:
483:
478:
477:
471:
467:
461:
455:
449:
443:
437:
431:
425:
417:
415:1-57955-008-8
411:
407:
400:
392:
388:
385:(2): 225–33.
384:
380:
373:
359:on 2015-02-06
355:
348:
341:
333:
327:
319:
312:
302:
297:
290:
288:
286:
284:
274:
265:
261:
253:
251:
247:
243:
240:In 2010, the
238:
236:
235:the Holocaust
233:. He died in
232:
228:
222:
217:
213:
208:
206:
202:
198:
194:
190:
186:
185:Alfred Tarski
182:
178:
174:
173:mathematician
171:
163:
159:
150:
145:
140:
136:
129:
126:
124:
120:
117:
113:
109:
105:
102:
99:
95:
91:
87:
84:
81:
77:
70:
66:
51:
47:
40:
35:
28:
19:
669:expanding it
662:
623:expanding it
609:
594:
542:
534:
517:
513:
507:
499:
475:
460:
448:
436:
424:
405:
399:
382:
378:
372:
361:. Retrieved
354:the original
340:
317:
311:
273:
264:
239:
209:
161:
157:
156:
127:
115:
719:1943 deaths
714:1904 births
219: [
181:philosopher
89:Nationality
708:Categories
484:. p.
363:2014-10-10
256:References
162:Prezburger
55:1904-12-27
18:Presburger
326:cite book
301:0902.4682
214:from the
142:Signature
83:Holocaust
472:(2004).
177:logician
612:Polish
551:
492:
412:
227:master
212:matura
195:, and
179:, and
170:Jewish
130:
123:Thesis
107:Spouse
92:Polish
62:Warsaw
617:is a
583:Panel
357:(PDF)
350:(PDF)
296:arXiv
223:]
160:, or
665:stub
619:stub
549:ISBN
490:ISBN
410:ISBN
332:link
74:1943
68:Died
49:Born
522:doi
387:doi
710::
518:12
516:.
498:.
488:.
486:74
480:.
468:;
383:12
381:.
328:}}
324:{{
282:^
221:pl
207:.
191:,
187:,
175:,
166:c.
72:c.
696:e
689:t
682:v
671:.
650:e
643:t
636:v
625:.
557:.
528:.
524::
418:.
393:.
389::
366:.
334:)
304:.
298::
57:)
53:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
.jpg){kind=small}