Arnon Avron

Arnon Avron (; born 1952) is an Israeli mathematician and Professor at the School of Computer Science at Tel Aviv University. His research focuses on applications of mathematical logic to computer science and artificial intelligence. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Arnon Avron', query time: 0.03s Refine Results
  1. 1
    The Problematic Nature of Gödel’s Disjunctions and Lucas-Penrose’s Theses
    by Arnon Avron
    Published 2020-11-01
    Get full text
    Article
  2. 2
    A Logical Framework for Set Theories
    by Arnon Avron
    Published 2012-03-01
    Get full text
    Article
  3. 3
    Formalizing Scientifically Applicable Mathematics in a Definitional Framework
    by Arnon Avron, Liron Cohen
    Published 2016-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search