International Conference
Systemics, Cybernetics and Informatics
( ICSCI - 2009 )
January 07 - 10, 2009
Venue: Dr. MCR HRD Institute, Government of Andhra Pradesh, India
Road No. 25, Jubilee Hills, Hyderabad – 500 033
http://www.hrdiap.gov.in ; Ph: 23548487 ; Fax:: 23548489; email: hrd@hrdiap.gov.in
Mission: ... in the service of the Nation
International Conference on Systemics, Cybernetics and Informatics is an event organized by Pentagram Research
Dr. Dirk van Dalen
Dr. Dirk van Dalen
Dr. Dirk van Dalen is a Professor of Historical aspects of Logic and Philosophy of Mathematics, in the Department of Philosophy, Utrecht University, Heidelberglaan 8, P.O. Box 80126, 3508 TC Utrecht, The Netherlands. Prof. Dirk van Dalen is the descendent of Sir Luitzen Egbertus Jan Brouwer who was affectionately addressed as Bertus by his descendents. Professor Dirk van Dalen studied at the University of Amsterdam, where he obtained his PhD. He has taught since 1960 at Utrecht University, where he is a full professor. He also taught at MIT and Oxford. His technical work is mostly in the area of Intuitionistic Mathematics and Logic. He uses to call attention to the benefits and challenges of constructive methods. His current project is a biography of L. E. J. Brouwer and the editing of Brouwer's correspondence. Click here http://www.phil.uu.nl/~dvdalen/ to know more about Prof. Dirk van Dalen since this page is insufficient to hold his details even in brief.
As a mark of our respects to Prof. Dirk van Dalen we provide here the list of his outstanding publications.
Papers (Year wise)
1963.
Extension problems in intuitionistic plane projective geometry. Dissertation. Amsterdam.
Extension problems in intuitionistic plane projective geometry, I and II. Ind Math, 25: 349--383.
1968
A note on spread cardinals. Comp Math, 20: 21--28.
Fans generated by nondeterministic automata. Zeitschr. f. Mathematische Logik und Grundlagen der Mathematik, 14: 273--278.
Reducibility in Intuitionistic Topology. J Symb Logic, 33: 412--417.
1970
A note on Some Systems of Lindenmayer. Math.Systems Theory, 5: 128--140.
Projections of Lawless Sequences. In (Eds. J. Myhill, A. Kino, R.E. Vesley) Intuitionism and Proof Theorie (Proc. Summer Conference Buffalo 1968), pages 163--186, Amsterdam. North-Holland.
1971
Independence problems in subsystems of intuitionistic arithmetic. Ind Math, 33: 448--456.
1973
Lectures on Intuitionism. In (Eds. A. Mathias, H. Rogers) Proc.Cambridge Summer Conference on Logic. SLNM 337, pages 1--94, Berlin. Springer Verlag.
Logique et theories formelles. Nico, 15: 2--2.
1974
A model for HAS. A topological interpretation of second-order intuitionistic arithmetic with species variables. Fund. Math., 82: 167--174.
1975
Variants of Rescher's semantics for preference logic. Studia Logica, 33: 163--181. 1977
The use of Kripke's schema as a reduction principle. J Symb Logic, 42: 238--240.
1978
An interpretation of intuitionistic analysis. Ann Math Log, 13: 1--43.
Brouwer: The Genesis of his Intuitionism. Dialectica, 32: 291--303.
Equality in the presence of apartness. In Hintikka et al(eds.) Essays on Mathematical and Philosophical Logic, pages 95--116, Dordrecht. Reidel.
Interpreting Intuitionistic Logic. In (Eds. P.C. Baayen, D. van Dulst, J. Oosterhof) Proc. of Bicentennial Congress of the Wiskundig Genootschap, pages 133--148,Amsterdam. MC.
1980
La philosophie intuitioniste et ses consequences Mathématiques. Collection Phil.Math. Item Paris-Nord, 17 p.
1982
Braucht die konstruktive Mathematik Grundlagen? Jahresber. Dtsch. Math.Ver., 84: 57--78.
Lawlessness and Independence. With J. Lodder. In (Eds. D. van Dalen, A.S. Troelstra)The L.E.J.Brouwer Centenary Symposium, pages 297--309, Amsterdam. North Holland.
Singleton reals. In Logic Colloqium '80, pages 83--94, Amsterdam. North-Holland.
The creative subject and Heyting's Arithmetic, pages 379--385. P.W.N.-Polish Scientific Publ., Warsaw.
1983
Algorithms and Decision Problems, In Handbook of Philosophical Logic, I (eds. D. Gabbay and F. Guenthner).pages 409--478. Reidel, Dordrecht.
1984
Four Letters from Edmund Husserl to Hermann Weyl. Husserl Studies, 1: 1--12.
How to glue analysis models. J Symb Logic, 49: 1339--1349.
1985
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser. Arch. Math. Logic, 25: 43--44.
Intuitionistic Logic, In Handbook of Philosophical Logic, III eds. D. Gabbay and F. Guenthner.pages 225--340. Reidel, Dordrecht.
1986
Glueing of Analysis Models in an Intuitionistic Setting. Studia Logica, 45: 181--186.
(with E.C.M. Krabbe, H. Mulder,A. Visser) Finite Kripke Models of HA are Locally PA. Notre Dame Journal of Formal Logic, 27: 528--532.
1987
Infinitesimals and the continuity of all functions. Nieuw Arch Wiskunde, 6: 191--202.
1988
(With F.J. de Vries) Intuitionistic Free Abelian Groups. Zeitschr. f. Mathematische Logik und Grundlagen der Mathematik, 34: 3--12.
1990
Heyting and Intuitionistic Geometry. In Petkov, P.P. (ed.), Mathematical Logic, pages 19--30, New York. Plenum Press.
The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen. Math. Intelligencer, 12: 17--31.
1991
Brouwer's Dogma of languageless Mathematics and its role in his writings. In Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International conference held at Bonn, November 19-21, 1986.(eds. E. Heijerman and H.W. Schmitz), pages 33--44, Münster. Nodus Publikationen.
Brouwers Intuitionismus, In H. Meschkovski, Lust an der Erkenntnis: Moderne Mathematik. Piper verlag, München. pages 353--379.
Constructivism in Mathematics. In Constructivism in Discussion, eds. C. van Dijkum, F. Wallner, pages 6--17, Utrecht. Fac. of Social Science Press.
Freudenthal and the Foundations of Mathematics. Nieuw Arch Wiskunde, 9: 145--162.
1992
The continuum and first-order intuitionistic logic. J Symb Logic, 57: 1417--1424.
1994
Book Review. Richard Tieszen, Mathematical Intuition: Phenomenology and Mathematical Knowledge. Husserl Studies, 10: 249--252.
Der Grundlagenstreit zwischen Brouwer und Hilbert, pages 207--212. Heldermann Verlag, Berlin.
1995
Hermann Weyl's Intuitionistic Mathematics. Bull. Symb. Logic, 1: 145--169.
Why Constructive Mathematics? In F.Stadler W. Depauli-Schimanovich, E. Köhler, eds., The Foundational Debate. Complexity and Constructivity in Mathematics and Physics, pages 141--158, Dordrecht. Kluwer.
1996
'Outside' as a primitive notion in constructive projective geometry. Geometria Dedicata, 60: 107--111.
Intuitionism - Counting its blessings, Electronic Notes in Theoretical Computer Science (Elsevier) Vol.3, 22 p.
1997
How connected is the intuitionistic continuum? J Symb Logic, 62: 1174--1150.
1998
From a Brouwerian Point of View. Philosophia Mathematica, 6: 209--226.
L.E.J. Brouwer: The foundations of topology and the topology of the foundations. Nederl Ak Wetensch Proc, 100: 11--14.
L.E.J. Brouwer's Intuitionism: a revolution in two installments. In Proceedings Thirteenth Annual IEEE Symposium on Logic in Computer Science. June 21-24, Indianapolis, IEEE Computer Science, pages 228--241, Los Alamitos. IEEE.
Mystic and Mathematical Revolutionary. L.E.J. Brouwer's role in Topology and Intuitionism, In The Low Countries, Stichting Ons Erfdeel, Rekkem.
The Role of Language and Logic in Brouwer's work In Logic in Action, (Ed. E. Orlowska). Springer, Vienna.
1999
Luitzen Egbertus Jan Brouwer, In History of Topology. (ed. I. James) Elsevier, Amsterdam. 947-964
From Brouwerian Counterexample to the Creating Subject. Studia Logia, 62. 305-314.
The Intuitionistic Conception of Logic (Ed. A.C. Varzi), European Review of Philosophy, 4, 45-78.
2000
Brouwer and Fraenkel on Intuitionism, Bull. Ass. Symb. Logic, 6, 284-310.
(With H.D. Ebbinghaus) Zermelo and the Skolem Paradox, Bull. Ass. Symb. Logic, 6, 145-161.
The Development of Brouwer's Intuitionism, In Proof Theory. History and Philosophical Significance, (eds. V.F. Hendricks, S.A. Pedersen, K.F. Jörgensen) Synthese Library
2001
Intuitionistic Logic. In (Ed. L. Goble) Philosophical Logic, Blackwell, Oxford. 224-257.
Algorithms and Decision Problems: a crash course in recursion theory, In: Gabbay, D.M., F. Guenthner, (eds.) Handbook of Philosophical Logic, vol 1 (Revised Edition), Kluwer, Dordrecht. 2001. 245-313
2002
(With M. van Atten) Intuitionism. In: A Companion to Philosophical Logic (ed. Dale Jaquette), Blackwell, Oxford. 513--530.
Intuitionistic Logic. In (Eds. Gabbay, D.M. and F. Guenthner) Handbook of Philosophical Logic Vol. 5 (2nd ed), Kluwer, Dordrecht. 1-114.
(With Atten, M. van, R. Tieszen) Brouwer and Weyl: the phenomenology and mathematics of the intuitive continuum, Philosophia Mathematica, 10. 203--226.
(With M. van Atten)Arguments for the continuity principle, Bull.Symb. Logic, 8, 329-347, . 2002
2003
Commentary on Menger and Intuitionism. In Karl Menger. Selecta Mathematica, Vol. 2,
(eds. B. Schweizer, A. Sklar, K. Sigmund, P. Gruber, E. Hlawka, L. Reich, L. Schmetterer), Springer, Vienna. 3-8.
Ein Logiker unter den Nazis, DMV Mitteilungen, 2003, 30-31, . 2003.
2004
Kolmogorov and Brouwer on constructive implication and the Ex Falso rule, Russian Math. Surveys 59, 2004. p. 247-257
(With D. Bridges, H. Ishihara) Ishihara's proof technique in constructive analysis, Indagationes Matheaticae 14, 2004. 163-168
What is Mathematics? Intuitionistic reflections. Issues in Contemporary Western Philosophy. Islam--West Philosophical Dialogue. The papers presented at the World Congress on Mulla Sadra (May 1999 Teheran), Eds. Ali Naqi Baqershai, Roya Khoii}, VOL. 7. Sadra Islamic Philosophy Research Institute Publication. Teheran. 2004 p. 175-190
(With P. Hajek)(review) Gentzen's Problem. Mathematische Logik im Nationalsozialistischen Deutschland by E. Menzler-Trott, Mathematical Intelligencer, 26, . 2004. 64-65
Books (Year wise)
1971
Formele Logica. Een informele Inleiding. Oosthoek, Utrecht, 1971.
1972(with A.F. Monna) Sets and Integration. An outline of the development. Wolters--Noordhoff, Groningen, 1972.
1973
(with A.A. Fraenkel, Y. Bar-hillel and A. Levy) Foundations of Set theory. North-Holland Publ. Co., Amsterdam.
1975
(with H.C. Doets, H.C.M. de Swart). Verzamelingen. Naief, axiomatisch en toegepast. Oosthoek,Scheltema & Holkema, Utrecht.
1978
Filosofische grondslagen van de Wiskunde. Van Gorcum, Assen, 1978.
1978
(with H.C. Doets, H.C.M. de Swart). Sets, Naive, Axiomatic and Applied. Pergamon Press, Oxford.
1980
Logic and Structure. Springer Verlag, Berlin.
1983
Logic and Structure (2nd extended ed.). Springer Verlag, Berlin.
1987
(with A.S. Troelstra, J. Kister) W-Bibliography of Mathematical Logic. Vol. VI. Proof Theory and Constructive Mathematics. Springer Verlag, Berlin.
1988
(with A.S. Troelstra) Constructivism in Mathematics. Volume 1. North-Holland, Amsterdam.
1988
(with A.S. Troelstra) Constructivism in Mathematics. Volume 2. North-Holland, Amsterdam.
1994
Logic and Structure (3rd ed.). Springer Verlag, Berlin.
1997
Logic and Structure (3rd extended ed.). Springer Verlag, Berlin.
1999
Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer. Volume I.
The dawning Revolution.
Oxford University Press, Oxford.
2001
L.E.J. Brouwer en de Grondslagen van de Wiskunde.
Epsilon, Utrecht. p. 209.
L.E.J. Brouwer (1881--1966). Een Biografie. Het heldere licht der wiskunde.
Bert Bakker, Amsterdam.
2004
Logic and Structure (4th extended ed.). Springer Verlag, Berlin.
Edited Volumes (Year wise)
1979
Logic Colloquium '78. North-Holland, Amsterdam.
1981
L.E.J.Brouwer. Over de Grondslagen der Wiskunde. Math. Centrum, Amsterdam. pp. 267.
Brouwer's Cambridge Lectures.
Cambridge University Press, Cambridge. pp. xii + 109.
(with D.Lascar en T.J.Smiley), Logic Colloquium '80. North-Holland,
Amsterdam.
1982
(with A.S.Troelstra), The L.E.J.Brouwer Centenary Symposium. North-Holland, Amsterdam.
1984
Droeve snaar, vriend van mij. De correspondentie tussen Brouwer en Adama van
Scheltema.
De Arbeiderspers, Amsterdam. pp. 173.
1992
L.E.J. Brouwer. Intuitionismus. Bibliographisches Institut, Mannheim.
pp. 161.
1997
(with M. Bezem) Computer Science Logic. 10th International Workshop, CSL '96. Springer , Berlin.
Miscelaneous papers (Dutch) (Year wise)
1968
Methoden en problemen van de logica (E.W. Beth, Moderne Logica). (review). De Gids, 184--188.
1970
In dienst van Hare Majesteit Mathematica. In Weten en geweten van de Wetenschap, p. 9--15. Wolters-Noordhoff, Groningen.
Vakmanschap is Meesterschap. Hollands Maandblad, 11:22--28.
1971
Logica en Interpretatie. Wijsgerig Perspectief, 11:236--267.
1972
Intuitionisme. Intermediair.
1973
Logica en Formele Theoriëen. NIKO, 13:51--67.
Propositielogica en mini--modeltheorie. Math. & Pead, 18:75--87.
Oneindigheid bij Wittgenstein. E. van der Velde. (review). Algem Ned tijds Wijsb, 66--68.
1974
Een leerzame doch aangename reis. NIKO, 17:5--3.
Preferentielogica. In Handelingen van het tweeendertigste Nederlandse Filologen Congres Amsterdam, volume~32, p. 97--102.
Een leerzame doch aangename reis. Euclides, 215--229.
1979
Brouwer: Wiskundige en Mysticus. Amersfoortse Stemmen, 60:43--46.
1979 Delen door nul, noodzaak of misverstand? Wiskunde en Onderwijs, 5:65--76.
1981
Brouwer end het Solipsistisch wereldbeeld. Algem Ned tijds Wijsb, 73:1--19.
L.E.J.Brouwer, een behoudend revolutionair in de wiskunde.
L.E.J.Brouwer en de eenzaamheid van het gelijk. Vrij Nederland, p. 3--23.
Logica, Wiskunde en Grondslagen. Wijsgerig Perspectief, 22:22--25.
1982
Inductieve definities en bewijzen. Wiskunde en Onderwijs, 8:382--393.
L.E.J. Brouwer. Ned. Biografisch Woordenboek. Nederlandse Staatsdrukkerij, Den Haag.
D.J. Korteweg Ned. Biografisch Woordenboek. Nederlandse Staatsdrukkerij, Den Haag.
Wiskunde. In Hoe ver is de wetenschap? p. 239--246. Spectrum, Utrecht.
1983
De Wiskunde, Eens Pelgrims Reize naar de Waarheid. Euclides, 59:153--164.
De Wiskunde, Eens Pelgrims Reize naar de Waarheid. Wiskunde en Onderwijs, p. 219--233.
1985
De wiskundige als held. N.R.C. Handelsblad,13 augustus 85.
Het verlies van wiskundige zekerheid. N.R.C. Handelsblad, 24 januari 85.
1986
Mannoury. Ned. Biografisch Woordenboek Nederlandse Staatsdrukkerij, Den Haag.
1988
Göttingen tegen Laren. L.E.J. Brouwer en de Mathematische Annalen. Hollands Maandblad, 30:35--41.
1989
Bewijzen, hoe en waarom?, In Bewijzen in de Wiskunde, Ed. P.W.H. Lemmens. p. 41--60. CWI, Amsterdam.
Robin O. Gandy, logicus en enige leerling van Alan Turing. N.R.C. Handelsblad, 4 april 89.
1990
Hoe de wiskunde in het leven wortelt. Volkskrant, 9 maart 1990 en16 maart 1990.
1991
Luitzen Egbertus Brouwer. Wiskundige en mysticus, p. 231--263. In Erflaters van de twintigste eeuw. Querido, Amsterdam.
1992
Brouwer en het Intuïtionisme in de Wiskunde. Koninklijke Maatschappij voor Natuurkunde. Diligentia, Den Haag.
1994
De muziek van de rede. N.R.C. Handelsblad, 29 februari 1994.
1995
Een compromis tussen Brouwer en Wittgenstein. N.R.C. Handelsblad, 16 februari 1995.
1997
Q.E.D. Wiskunde onderwijs verwaarloost het bewijzen. N.R.C. Handelsblad, 29 maart 1997.
1998
Der Herr Warum. N.R.C. Handelsblad, 9 mei 1998.
1998
Torens en Fundamenten Afscheidsrede 19 december 1998.
2002
Logicus tussen de nazi's, NRC, 2002.
2003
Red het bèta-onderwijs van de ondergang, Nieuwe Rotterdamse Courant. 15 mei.
We are sure that this list would inspire all students, faculty and scientists who are interested to contribute to Science and Technology.
ICSCI-2009 Secretariat
| Home | Contributed Papers | Students Papers | ICSCI-2004 | ICSCI-2005 | ICSCI-2006 | ICSCI-2007 | ICSCI-2008 | ICSCI-2009 |