Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Instytut Informatyki - Zakład Fizyki Komputerowej i Informatyki Kwantowej


The Pedagogical University of Cracow
The Institute of Computer Science - Laboratory of Computer Physics


                Dr Łukasz T. Stępień                          e-mail:    e-mail



Selected   Publications

1. "Perturbations of planar interfaces in Ginzburg-Landau models" , (Co-Authors: Henryk Arodz and Robert Pelka): H. Arodz, R. Pelka and L. Stepien Acta Phys. Pol. B 32 , (4), 1173 (2001).
2. "The Bogomolny decomposition for systems of two generalized nonlinear partial differential equations of the second order", (Co-Authors: Danuta Sokalska and Krzysztof Sokalski): L. Stepien, D. Sokalska and K. Sokalski, J. Nonl. Math. Phys., 16, No. 1, 25 (2009).
3. "Some decomposition method for analytic solving of certain nonlinear partial differential equations in physics with applications" : L. T. Stepien, J. Comp. Appl. Math., 233, (6), 1607 (2010).
4. L. T. Stepien, "Selected methods of software engineering in teaching of some school subjects" , in the book "Information technologies in teacher's methods" (Editors: Jacek Migdalek and Wojciech Folta), KSIEGARNIA AKADEMICKA, Krakow 2010 (in Polish).

5. "On the consistency of Peano's Arithmetic System" , (Co-Author: Teodor Stepien): T. J. Stepien and L. T. Stepien, Bull. Symb. Logic 16, No. 1, 132 (2010). http://www.math.ucla.edu/~asl/bsl/1601-toc.htm

This above link leads to the Proceedings of the Conference "2009 European Summer Meeting of Association for Symbolic Logic, Logic Colloquium'09" (July 31 - August 5, 2009, Sofia, Bulgaria) . There, on the page 132, is published the abstract of the talk "On consistency of Peano's Arithmetic System", delivered by me, commonly with Dr Teodor Stepien, at "Logic Colloquium 2009" (July 31 - August 5, 2009, Sofia, Bulgaria). During this talk, we presented a sketch of the proof of the consistency of Peano's Arithmetic System (of course, the FULL proof was constructed by us before the mentioned Conference "Logic Colloquium 2009"). This proof is ABSOLUTELY ELEMENTARY, i.e. there have been used ONLY the axioms of first-order logic and the axioms of Peano's Arithmetic System.   In other words:

the consistency of Peano's Arithmetic System is provable within Peano's Arithmetic System.


Hence, from the construction of this proof, it follows that Gödel's Second Incompleteness Theorem is INVALID.


6. "Atomic entailment and classical entailment" , (Co-Author: Teodor Stepien): T. J. Stepien and L. T. Stepien, Bull. Symb. Logic 17, No. 2, 317-318 (2011). http://www.math.ucla.edu/~asl/bsl/1702-toc.htm

This above link leads to the Proceedings of the Conference "2010 European Summer Meeting of Association for Symbolic Logic, Logic Colloquium 2010" (July 25 - 31, 2010, Paris, France). There on the pages 317-318 is published the abstract of the talk "Atomic entailment and classical entailment". We presented, during this talk, the definitions of: atomic entailment and classical entailment. Atomic entailment allows to avoid the paradoxes of material implication. The problem of the paradoxes of material implication, has been known, as the problem of relevance (sometimes called also as "relevance problem"), since 400 B.C. We showed also the connection between atomic entailment and classical entailment and we presented the theorem, saying that Peano's Arithmetic System can be based on atomic entailmet.

The full paper entitled "Atomic Entailment and Atomic Inconsistency and Classical Entailment" , was published in Journal of Mathematics and System Science (T. J. Stepien and L. T. Stepien, J. Math. Syst. Sci. 5, No.2, 60-71 (2015)): http://www.davidpublisher.com/index.php/Home/Article/index?id=235.html .

In the next full paper, entitled "The Formalization of The Arithmetic System on The Ground of The Atomic Logic" and published in Journal of Mathematics and System Science (T. J. Stepien and L. T. Stepien, J. Math. Syst. Sci. 5, No.9, 364-368 (2015)): http://www.davidpublisher.org/index.php/Home/Article/index?id=18008.html ,
we have showed that the classical Arithmetic can be based on the Atomic Logic.


7. "On Bogomolny Decompositions for the Baby Skyrme Models" , L. T. Stepien in: Geometric Methods in Physics, XXXI Workshop, Białowieża, Poland, June 24–30, 2012, Series: Trends in Mathematics, Kielanowski, P.; Ali, S.T.; Odesskii, A.; Odzijewicz, A.; Schlichenmaier, M.; Voronov, T. (Eds.), pp. 229 - 237, Birkhäuser Basel 2013.
This paper was based on a talk, delivered at "XXXI Workshop on Geometric Methods in Physics" (24-30.06.2012, Białowieża, Poland). In this paper, the so-called Bogomolny decompositions (the keywords: Bogomolny equation, Bogomol'nyi equation, Bogomolny equations, Bogomol'nyi equations, Bogomolny argument, Bogomol'nyi argument) for baby Skyrme models: restricted and full one, in (2+0)-dimensions, have been derived.
The baby Skyrme model is some analogon of the Skyrme model. This last one can be considered as some generalization of the nonlinear "sigma" model ("O(3) model"): in order to avoid the consequences of Derrick-Hobart theorem (the keywords: Derrick theorem, Derrick-Hobart theorem, Derrick argument, Derrick's argument, (Derrick) scale argument), there in the lagrangian, beside the nonlinear "sigma" term, the so called "Skyrme term" appears.


8. "The Scope of the Structural Completeness in the Class of all Over-Systems of the Classical Functional Calculus with Identity" , (Co-Author: Teodor Stepien): T. J. Stepien and L. T. Stepien, J. Math. Syst. Sci. 4, No. 6, 411-420 (2014). http://www.davidpublisher.com/index.php/Home/Article/index?id=1188.html

In this paper, the scope of the structural completeness in the class of all over-systems of the classical functional calculus with identity, was established.



9. Press information, among others, about the talk "On consistency of Peano's Arithmetic System", delivered by Dr Teodor J. Stepien and me, on 9th January 2013 , in Chair of Computer Science and Computational Methods (The Pedagogical University of Cracow)
The feuilleton "On the consistency of mathematics" (in Polish) of Professor Ryszard Tadeusiewicz (AGH University of Science and Technology), published in "Gazeta Krakowska" ("Cracow Newspaper") (9th January 2013), accessible on http://www.gazetakrakowska.pl/artykul/735525,o-niesprzecznosci-matematyki,id,t.html?cookie=1. This feuilleton was published also on   http://www.agh.edu.pl/aktualnosci/info/article/o-niesprzecznosci-matematyki-felieton/

(Dr Teodor J. Stepien and me, thank very much to Professor Ryszard Tadeusiewicz, for writing this feuilleton).



10. "The Existence of Bogomolny Decompositions for Gauged O(3) Nonlinear "Sigma" Model and for Gauged Baby Skyrme Models" , L. T. Stepien, Acta Phys. Pol. B46, No. 5, 999 - 1023 (2015). DOI: http://dx.doi.org/10.5506/APhysPolB.46.999

11. "Bogomolny equation for the BPS Skyrme model from the strong necessary conditions" , L. T. Stepien, J. Phys. A49, 175202 - 175208 (2016). DOI http://dx.doi.org/10.1088/1751-8113/49/17/175202






The branch of physics, in which I am engaged (in Polish): theoretical physics, especially nonlinear field theory (among others, exact solutions as instantons, solitons etc.)


Tzw. solitony, bardzo ciekawe rozwiązania nieliniowych równań ewolucji czasowej.


I found these two below figures of solitons on Prof. Alex Kasman's soliton page:
http://math.cofc.edu/faculty/kasman/SOLITONPICS/index.html

and I placed it here ( with Prof. Kasman's consent ):

Tak się zderzaja tzw. solitony równania KdV.


A oto rownanie KdV:   No Title
u,t -6 u u,x + u,xxx = 0
(1)



File translated from TEX by TTH, version 3.85.
On 09 Feb 2009, 01:12.


Inne rownanie solitonowe, to rownanie sinus-Gordona:

No Title
u,tt - u,xx = sin(u)
(1)



File translated from TEX by TTH, version 3.85.
On 09 Feb 2009, 19:07.


Dla przyzwyczajonych do standardowych oznaczen pochodnych czastkowych, to samo rownanie sinus-Gordona (czasem nazywane rowniez rownaniem "sine-Gordona"), co powyzej, zapisane wlasnie w tradycyjnych oznaczeniach pochodnych czastkowych:



Jak widac, jednak troszke sie rozni od tej pierwszej wersji: lewa strona ma znak przeciwny do lewej strony tamtego rownania. Bierze sie to stad, ze w pierwszym rownaniu uzywamy metryki z tzw. sygnatura (+,-) ,a w drugim - ze sygnatura (-,+). W kazdym razie konsekwencja uzycia takich metryk (w obu przypadkach mamy tzw. przestrzen Minkowskiego) jest to, iz kwadrat czasu wchodzi do wyrazenia na interwal czasoprzestrzenny ze znakiem przeciwnym, niz kwadrat odleglosci przestrzennej (w tym przypadku "x").






TEMATY PRAC DYPLOMOWYCH:

Aktualizacja:     10.10.2013

Tematy prac dyplomowych - studia stacjonarne, r. akademicki 2013/2014:

Tematy prac dyplomowych - studia niestacjonarne, r. akademicki 2013/2014:













Some links :

Katedra Informatyki i Metod Komputerowych Uniwersytetu Pedagogicznego w Krakowie

Instytut Fizyki Uniwersytetu Pedagogicznego w Krakowie

Wydział Matematyczno-Fizyczno-Techniczny Uniwersytetu Pedagogicznego w Krakowie

Oddzial Krakowski Polskiego Towarzystwa Fizycznego

Strona o Wystawie "Fizyka blizej nas" - Krakow, Planty (ul. Golebia - sw. Anny), 10 maja - 31 lipca 2011 r. (tak sie sklada, ze bralem udzial w przygotowaniu tej Wystawy)

Association for Symbolic Logic ASL

9th International ISAAC Congress

Instytut Fizyki Uniwersytetu Jagiellońskiego

Wydzial Fizyki, Astronomii i Informatyki Stosowanej Uniwersytetu Jagiellońskiego

baza preprintow arXiv

COMS: Conference Management System - the advertisements on the conferences

the informational service "UK Nonlinear News" with news concerning "nonlinear" branches of sciences: the advertisements on the scientific events, the offers of jobs in "nonlinear" branches of sciences, some important publications etc.

Wydział Fizyki Uniwersytetu Warszawskiego

Polskie Towarzystwo Fizyczne (Polish Physical Society)

Physics World

metody numeryczne

kurs jezyka C++




: UTC + 1




Some forgotten outstanding Polish scientists:

Jan Czochralski (1885 - 1953) - Polish metallurgist, chemist and researcher in materials sciences. The Professor of Warsaw University of Technology. He is known mainly from his method of single crystal growing, world wide used, so-called, "Czochralski method", which was published 97 years ago. Owing to this method, among others, single silicon crystals, used for production of microprocessors, are being obtained. He has been called as "forefather of electronics". Just recently, he and his huge contribution into developing of electronics, have been reminded and on 17th December 2012 Polish Parliament (Sejm RP) voted for proclaiming 2013 the Year of Jan Czochralski.

(on the basis of:

the website on Jan Czochralski's life and works, developed by Czochralski's Family

another website on Jan Czochralski's life and works )

a broadcast on Jan Czochralski in Channel 1 of Polish Radio - 2nd June 2013 (in Polish)



Wladyslaw (Ladislas) Natanson (1864 - 1937) - Polish physicist. The Professor of Jagiellonian University in Krakow. He discovered the quantum statistics of particles, rediscovered independently 13 years later, by Satyendra Bose, developed later by Albert Einstein and called usually, as Bose-Einstein statistics. Natanson's paper including this statistics was published in 1911: W. Natanson, Physicalische Zeitschrift 12, 659 (1911). Natanson published also later in Polish another paper, devoted to this problem: "Principles of radiation theory": W. Natanson, Mathematical and Physical Letters 29, 1-232, Jagiellonian University (1912).

(on the basis of:

the website on outstanding Polish physicists (among others on Władysław Natanson) (in Polish)

an article of Prof. Józef Spałek (Marian Smoluchowski Institute of Physics of Jagiellonian University in Kraków), on Wladyslaw Natanson's discovery of (Natanson-)Bose-Einstein statistics (in Polish)

the article "WLADYSLAW NATANSON (1864-1937) For the 110th anniversary of formulation of the thermodynamics of irreversible processes and the 95th anniversary of formulation of quantum statistics" of Prof. Bronislaw Sredniawa (Marian Smoluchowski Institute of Physics of Jagiellonian University in Kraków), published in: "The Old and New Concepts of Physics", vol. IV, No 4, 705 (2007) (IN ENGLISH) )

Another article, including a comparison of Natanson's results and Bose's and Einstein's results (The Author has showed that the mode of calculating the distribution of indistinguishable particles, explained by Natanson, is the same as the statistics published 13 years later by Bose.):
Bogdan Lange, "Natanson's Statistics versus Bose-Einstein Statistics as the Basis For Theory-Cognitive Quantum Mechanics". Physics Essays: September 1997, Vol. 10, No. 3, pp. 524-527. DOI: http://dx.doi.org/10.4006/1.3036440

Other article, where one of Natanson's papers is cited:
C. Feiler, M. Buser, E. Kajari, W.P. Schleich, E.M. Rasel, R.F. O’Connell, "New Frontiers at the Interface of General Relativity and Quantum Optics", Space Sci. Rev. (2009) 148: 123–147; DOI 10.1007/s11214-009-9613-7



Rudolf Weigl (1883 - 1957) - Polish microbiologist and zoologist. The Professor of Lwow University in Lwow (in English: "Lvov", it belonged to Poland, before World War II - the same Lwow, where, at that time, among others, the most outstanding Polish mathematician, Stefan Banach was working; later, during German-Nazi occupation of Lwow, Stefan Banach was working in Institute of Weigl and owing to it, he prevented the arresting by Germans - more on Stefan Banach's life and works on this website ). He discovered the first effective vaccine against typhus. He was also nominated for the Nobel Prize in Physiology or Medicine.

(on the basis of:

the website, which includes links to many articles on Rudolf Weigl's life and works (mainly in Polish, some of them are written in English, German, Russian or Ukrainian) )




Witelon (Vitelo) (1230 - about 1314) - the first known Polish physicist, mathematician and natural scientist and simultaneously, the first wide known Polish scientist. In his work "Optics" (known as "Perspectiva"), he wrote about himself: "Filius Thuringorum et Polonorum" (A son of Turingists and Polish). He was engaged in optics and investigated, among others, the action of human eye: he distinguished the mechanism of action of eye and subconscious functionality of brain. Hence, he is recognized as a precursor of psychology. His work "Perspectiva" was used by Leonardo da Vinci, Nicholaus Copernicus and Johannes Kepler. Kepler wrote his own work entitled "Ad Vitellonem Paralipomena" ("A Supplement to Vitelon's work").

(on the basis of: the article on Vitelo's life and works (in Polish) )








Konsultacje - pokoj 411 N (Nowy Budynek Uniwersytetu Pedagogicznego):

termin: czwartek, godz. 13:00 - 15:30 lub ewentualnie, do uzgodnienia via e-mail










  pokoj 411N, tel. +48 12 662-78-54,
  (ewentualnie, proszę pytać w pokoju 402N,   tel. +48 12 662-78-43, +48 12 662-78-44),            



adresy e-mail (prosze w pierwszej kolejnosci pisac na pierwszy adres e-mail):

      e-mail            e-mail

PROSZE NIE UZYWAC W MAILACH POLSKICH LITER.




Flag Counter


Ta strona została utworzona przy użyciu m.in. programu Extra Page 2.1 autorstwa Tomasza Majewskiego.
Informacje o programie i sam program można ściągnąć ze strony http://www.extrapage.com .