Παρακολούθηση
Ioannis Vandoulakis
Ioannis Vandoulakis
University of Thessaly
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ac.eap.gr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The web as a tool for proving
P Stefaneas, IM Vandoulakis
Philosophical Engineering: Toward a Philosophy of the Web, 149-167, 2013
302013
Proofs as spatio-temporal processes
P Stefaneas, IM Vandoulakis
Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2014
222014
On mathematical proving
P Stefaneas, IM Vandoulakis
Journal of Artificial General Intelligence 6 (1), 130-149, 2015
122015
Was Euclid's Approach to Arithmetic Axiomatic?
IM Vandoulakis
121998
Collective discovery events: Web-based mathematical problem-solving with codelets
PS Stefaneas, IM Vandoulakis, M Martinez, H Foundalis
Computational Creativity Research: Towards Creative Machines, 371-389, 2015
102015
On the justification of the method of historical interpretation
IG Bashmakova, IM Vandoulakis
Trends in the Historiography of Science, 249-264, 1994
101994
The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition
JY Beziau, I Vandoulakis
Springer Nature, 2022
92022
Conceptions of proof in mathematics
IM Vandoulakis, P Stefaneas
Proceedings of the Moscow Seminar on Philosophy of Mathematics, 2013
92013
A genetic interpretation of neo-Pythagorean arithmetic
IM Vandoulakis
Oriens-Occidens 7, 2010
92010
Proof-events in History of Mathematics
IM Vandoulakis, P Stefaneas
82013
Mathematical style as expression of the art of proving
I Vandoulakis, P Stefaneas
The 2nd International Conference Science, Technology and Art Relations–STAR …, 2014
72014
Styles of Greek arithmetic reasoning (Study of the History of Mathematics)
IM Vandoulakis
数理解析研究所講究録 1625, 12-22, 2009
72009
On the historical transformations of the square of opposition as semiotic object
IM Vandoulakis, TY Denisova
Logica Universalis 14, 7-26, 2020
62020
On AA Markov’s attitude towards Brouwer’s intuitionism
IM Vandoulakis
Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2015
62015
Plato’s Third Man Paradox: its Logic and History
IM Vandoulakis
62009
On the Role of argumentation in discovery proof-events. C3GI 2017
S Almpani, P Stefaneas, I Vandoulakis
6th International Workshop on Computational Creativity, Concept Invention …, 2017
52017
The Square of Opposition: Past, Present, and Future
JY Beziau, I Vandoulakis
The Exoteric Square of Opposition: The Sixth World Congress on the Square of …, 2022
42022
Formalization of mathematical proof practice through an argumentation-based model
S Almpani, P Stefaneas, I Vandoulakis
Global Philosophy 33 (3), 33, 2023
32023
Search for mathematical proof in the Web environment as a process of creative collective discovery
IM Vandoulakis
SHS Web of Conferences 29, 01074, 2016
32016
Web-based Mathematical Problem-Solving with Codelets
PS Stefaneas, IM Vandoulakis, H Foundalis, M Martínez
Computational Creativity, Concept Invention, and General Intelligence 1, 41, 2012
32012
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20