“Saeed Salehi”
![](/operator/PhotoAlbum/PH1400158.jpg)
Tel: (+98)(41)33393930
Email:
![](data:image/jpg;base64, /9j/4AAQSkZJRgABAgAAAQABAAD/2wBDAAgGBgcGBQgHBwcJCQgKDBQNDAsLDBkSEw8UHRofHh0aHBwgJC4nICIsIxwcKDcpLDAxNDQ0Hyc5PTgyPC4zNDL/2wBDAQkJCQwLDBgNDRgyIRwhMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjL/wAARCAAUAPoDASIAAhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQAAAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWmp6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEAAwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSExBhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElKU1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD3+iuDvPDk1y/jm/tbGT+2pHkXSrhiVZGNhCgaFmICEtlS64ztAJ+UYw7PSon+3/8ACE+HdV0Td4ant382B7LfdHb9mX5yN8yYmzKM43jLnIoA9Qv7630zTrm/vJPLtbWJ5pn2k7UUEscDk4APSi+vrfTrOS6upPLhTAJCliSSAqqoyWYkgBQCSSAASa8judB0y90vV4vDfhHUrCzPheeK4guLCSETXPytbL5b8yzoVlPmAMcsvzkkV1GowqiaVJ4fgj0qz+xX1vYGeza3itr+Vo1gZomQFCT5wDFOd5UZMgDAHSWPijSb+8js0mnt7qXPkw31pLavNgEt5ayqpfAGTtzjjOMitivN7LTNRn8TC0Wy1XTrVvst5A2q6qt1LG0ErmcxDz5WHmJJFEcFV2u+T0V7mmWBtvHjyR6fJLK9xO01zNYSQzxxsGILXYYx3EWSipCBlVMZIBhOADvKK8r0OyvYvF2iTwaLHZE3Eg1JodHliljzbyny5rx3P2oeYFzIqlWdVYkEoGp+AfD11b6xolxc2s9pqtp541Jv7InhknLKwkM920xjuFMux1KhjnaVCLu2gHsFU73UobG6063lWQvf3Bt4ioGAwikly3PTbGw4zyR9R5X4B8PXVvrGiXFzaz2mq2nnjUm/sieGScsrCQz3bTGO4Uy7HUqGOdpUIu7aeGdJsoNa8FY8LarbeIbWW5Or6hPZSYLmCVZWkuDlZfMlKsjBm44BXOCAewVT1bUodG0a+1S4WRoLK3kuJFjALFUUsQMkDOB6iuD0Cwnsv7Ujs9Gnnm/s+VZJDby6bczTDG1Jp95S5mc7v9Ij4QhiDiUVhvpd79n12HTNIjjs7jw5qEZ/s/w9Lpiz3GIxGjRu5aRwC207QPmcKWO8KAeyVTstShvrrUbeJZA9hcC3lLAYLGKOXK89NsijnHIP1Plfivw9dal4v8QCe1nWe4+znS71dInu5Iwsa7Rb3CTKlsyzB2IfYMsGYlTxuaz4bW5tvHmpnS5JtUV3k0uVomd0dbGHa9v/AHX8xcbkwSUAydgwAegRzLK8yKJAYn2NujZQTtDfKSMMMMORkZyOoIBDMs6F0EgAdk+eNkOVYqeGAOMjg9CMEZBBrn9Keax1/XBLZXZS/wBYURSLEdgUWMJ3sf7m6NkyM/MQPpz+n+G11HWtPj1fS5JrNH1x3juIm8pi9/G0e9T8rBly6hsg7Qw5UEAHolFU9M1KHVbV7iBZFRLie3IcAHdFK0THgnjchI9sdOlcfplgbbx48kenySyvcTtNczWEkM8cbBiC12GMdxFkoqQgZVTGSAYTgA7yivK9Dsr2Lxdok8Gix2RNxINSaHR5YpY828p8ua8dz9qHmBcyKpVnVWJBKBqfgHw9dW+saJcXNrPaaraeeNSb+yJ4ZJyysJDPdtMY7hTLsdSoY52lQi7toB7BVO91KGxutOt5VkL39wbeIqBgMIpJctz02xsOM8kfUeV+AfD11b6xolxc2s9pqtp541Jv7InhknLKwkM920xjuFMux1KhjnaVCLu2nhnSbKDWvBWPC2q23iG1luTq+oT2UmC5glWVpLg5WXzJSrIwZuOAVzggHsFU9W1KHRtGvtUuFkaCyt5LiRYwCxVFLEDJAzgeorg9AsJ7L+1I7PRp55v7PlWSQ28um3M0wxtSafeUuZnO7/SI+EIYg4lFYb6Xe/Z9dh0zSI47O48OahGf7P8AD0umLPcYjEaNG7lpHALbTtA+ZwpY7woB7JVOy1KG+utRt4lkD2FwLeUsBgsYo5crz02yKOccg/U+V+K/D11qXi/xAJ7WdZ7j7OdLvV0ie7kjCxrtFvcJMqWzLMHYh9gywZiVPG5rPhtbm28eamdLkm1RXeTS5WiZ3R1sYdr2/wDdfzFxuTBJQDJ2DAB3j31vFFdSzSeRDa5M0symNFAUMW3NgFQDywOBgjOQQMuDxdo81xFA8l3aPM4jiN/Yz2iyOTgIrSooZz2UEk4OBwa5+8gmtdavr68ikj0uPxHHdXUkiny/JXTo1WQjuiziM7uQhTccbCRjyaRr81xbaddQ6lDcX1lNZ3V/d6or27XuY5FubeLziVKeVPIipGhB2jCAFkAPUI5lleZFEgMT7G3RsoJ2hvlJGGGGHIyM5HUECSvK/Flnaf2qDrWj3d/p83i2GT7PFbPKZlGmABwi8uiupLAZ4Rhg4IqTTfD1vfCzt/8AhHp08PP4lmnt7G+tTsjg+xSqW8l8+VG1xvZVYLjeuAMgUAeoUV5/o+hf2feaLeW+lfZro63fQXE0dvsc2ai7EKOwGfJAW3CA/KNseOi13FhdfbtOtrz7PPb+fEkvk3CbJI9wB2uvZhnBHY0AWKKKKACo54Ibq3lt7iKOaCVCkkcihldSMEEHggjjFFFAFPTNC0fRPN/snSrGw87HmfZLdIt+M4ztAzjJ6+prQoooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACsvTfDWg6NcNcaXomm2M7IUaS1tUiYrkHBKgHGQDj2FFFAFy4sbe7ntJp498lpKZoDuI2OUaMnjr8rsOfX1xViiigAooooA//Z)
IPM Positions |
||
Non Resident Researcher (non-resident), School of Mathematics
(2010 - 2020 (till March 19, 2020)) |
||
Past IPM Positions |
||
Associate Researcher (non-resident), School of Mathematics
(2007 - 2008) (Until June ) |
||
Non IPM Affiliations |
||
Associate Professor of University of Tabriz | ||
Related Papers |
1. | S. Salehi Axiomatic (and non-axiomatic) mathematics Rocky Mountain J. Math. 52 (2022), 1157-1176 [abstract] |
2. | S. Salehi `Sometime a Paradox', now proof: Yablo is not first order Log. J. IGPL 30 (2022), 71-77 [abstract] |
3. | S. Salehi Godel 's second incompleteness theorem: How it is derived and what it delivers Bull. Symbol Logic 26 (2020), 241-256 [abstract] |
4. | S. Salehi (Joint with Z. Assadi) On decidability and axiomatizability of some ordered structures Soft Computing 23 (2019), 3615â??3626 [abstract] |
5. | S. Salehi On axiomatizability of the multiplicative theory of numbers Fundamenta Informaticae 159 (2018), 279-296 [abstract] |
6. | S. Salehi (Joint with P. Seraji) On constructivity and the Rosser property: a closer look at some Godelean proofs Ann. Pure Appl. Logic 169 (2018), 971-980 [abstract] |
7. | S. Salehi (Joint with P. Seraji) Godel-Rosser's incompleteness theorem, generalized and optimized for definable theories J. Logic Comput. 27 (2017), 1391-1397 [abstract] |
8. | S. Salehi Godel's incompleteness phenomenon-computationally Philosophia Scientiae 18 (2014), 23-37 [abstract] |
9. | S. Salehi Herbrand consistency of some finite fragments of bounded arithmetical theories Arch. Math. Logic 52 (2013), 317-333 [abstract] |
10. | S. Salehi Axiomatizing mathematical theories: Multiplication ( In: Proceedings of Frontiers in Mathematical Sciences) [abstract] |
11. | S. Salehi Computation in logic and logic in computation ( In: Proceedings of the Third International Conference on Contemporary Issues in Computer and Information Sciences 2012) [abstract] |
12. | S. Salehi Herbrand consistency of some arithmetical theories J. Symbolic Logic 77 (2012), 807-827 [abstract] |
[Back]
|