علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
مارینوس صوری
مارینوس صوری ، زیسته (۷۰ تا ۱۳۰ میلادی) یک جغرافی‌دان یونانی عصر هلنیستی، نقشه‌کش و ریاضیدان، که جغرافیای ریاضی را پایه‌گذاری کرد و پایه‌های نفوذ جغرافیای (کلودیوس بطلمیوسی) را گسترش داد.