ఈ రకమైన తార్కిక విధానాలను ఉపయోగించిన మొదటి గణిత శాస్త్రజ్ఞుడు ఆర్కిమెడిస్ .ఈయన ఒక వృత్త చుట్టుకొలతను ఆ వృత్తాన్ని ఆవరించి ఉన్న క్రమ బహుభుజుల ఆధారంగా కనుగొన్నాడు .
Entity: ఆర్కిమెడిస్ — Type: /person, /person/engineer, /person/author