Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.
Matematik felsefesi, matematiğin varlıksal, bilgisel ve yöntemsel sorunlarını inceleyen, matematiğin temelleriyle ilgili ana kavramları irdeleyen bir felsefe dalıdır.
Matematiksel ispat, matematiksel bir ifade için türetilmiş varsayımların mantıksal olarak doğru olduğu sonucunu garantileyen, çıkarımsal bir argümandır. Argüman, teoremler gibi önceden oluşturulmuş diğer ifadeleri kullanabilir; lakin prensipte her delil, kabul edilen çıkarım kurallarıyla birlikte yalnızca aksiyom olarak bilinen belirli temel veya orijinal varsayımlar kullanılarak oluşturulabilir.
Prolog, yapay zekâ uygulamalarında kullanılan dördüncü nesil bilgisayar dili ailesinden olan bir mantık programlama dilidir.
İstatistik veya sayım bilimi, belirli bir amaç için veri toplama, tablo ve grafiklerle özetleme, sonuçları yorumlama, sonuçların güven derecelerini açıklama, örneklerden elde edilen sonuçları kitle için genelleme, özellikler arasındaki ilişkiyi araştırma, çeşitli konularda geleceğe ilişkin tahmin yapma, deney düzenleme ve gözlem ilkelerini kapsayan bir bilimdir. Belirli bir amaç için verilerin toplanması, sınıflandırılması, çözümlenmesi ve sonuçlarının yorumlanması esasına dayanır. Bu çerçevede yapılan işlemlerin tümüne sayımlama denir.
Reductio ad absurdum, olmayana ergi ya da Osmanlıca abese irca, Latince saçma olana indirgeme anlamına gelir. Bir iddiayı doğru kabul ederek saçma bir sonuca varıp iddianın yanlış olduğu sonucuna ulaşıldığı bir mantık yöntemidir. Bu yöntemde, yanlış olamayacak bir önermenin zorunlu olarak doğru olduğunu kabul eden üçüncü olanağın dışlanması kanunu kullanılır. Aristo'nun sıkça uyguladığı bir yöntemdir.
Arthur Charles Clarke, Britanya İmparatorluk Nişanı'na sahip İngiliz mucit ve bilimkurgu yazarı. Aynı zamanda Mysterious World adlı İngiliz televizyon serisinin yapımcılığını ve sunuculuğunu da yapmıştır. Clarke, Robert A. Heinlein ve Isaac Asimov'la birlikte, bilimkurgunun "üç büyük yazar"ından biri olarak kabul edilmektedir.
Johann Carl Friedrich Gauss ya da Gauß, Alman matematikçi, astronom, istatistikçi, olağanüstü katkılardan dolayı "Matematikçilerin prensi" ve "antik çağlardan beri yaşamış en büyük matematikçi" olarak anılır.
Fizik felsefesi, klasik ve modern fiziğin içerisindeki teori ve yorumları inceleyen bir bilim felsefesi dalıdır. Fizik teorileri ve yorumlarından yola çıkarak sorduğu sorularla çeşitli cevaplara ulaşmayı amaçlamaktadır. Uzay ve zaman felsefesi, kuantum mekaniği felsefesi, termal ve istatistiksel felsefe gibi alt dallara ayrılmaktadır.
Sayısal analiz, diğer adıyla nümerik analiz veya sayısal çözümleme, matematiksel analiz problemlerinin yaklaşık çözümlerinde kullanılan algoritmaları inceler. Bu nedenle birçok mühendislik dalı ve doğa bilimlerinde önem arz eden sayısal analiz, bilimsel hesaplama bilimi olarak da kabul edilebilir. Bilgisayarın işlem kapasitesinin artması ile gündelik hayatta ortaya çıkan birçok sistemin matematiksel modellenmesi mümkün olmuş ve sayısal analiz algoritmaları burada ön plana çıkmıştır. 21. yüzyıldan itibaren bilimsel hesaplama yöntemleri mühendislik ve doğa bilimleri ile sınırlı kalmamış ve sosyal bilimler ile işletme gibi alanları da etkilemiştir. Sayısal analizin alt başlıklarına adi diferansiyel denklemlerin yaklaşık çözümleri ve özellikle veri biliminde önem taşıyan sayısal lineer cebir ile optimizasyon örnek gösterilebilir.
Matematiksel fizik, matematik ve fizik arasındaki alakayla ilgilinen bilimsel disiplindir. Matematiksel fiziğin neyi içerip içermediği ile ilgili tam bir mutabakat yoktur. Ancak Journal of Mathematical Physics konuyla ilgili bir tanım yapar: Matematiğin fiziksel sorunlara uygulanması ve fiziksel kuramlar için matematiksel yöntemlerin uygunluğunun geliştirilmesi.
Hesaplamalı fizik, fizik sorunlarını çözebilmek için sayısal algoritmaların üretilmesi ve gerçeklenmesini içerir. Genelde kuramsal fizikin bir alt dalı olarak değerlendirilir ancak bazen de kuramsal ve deneysel fizik arasında orta bir dal olarak da düşünülür.
Jean-Charles de Borda Fransız matematikçi, fizikçi, sosyal bilimci ve denizci.
Emilia Isobel Euphemia Rose Clarke, İngiliz televizyon ve sinema oyuncusudur. HBO kanalında yayınlanan Game of Thrones (Taht Oyunları) dizisindeki "Daenerys Targaryen" karakteri ile tanınmaktadır.
Noel Clarke İngiliz oyuncu, senaryocu ve yönetmen. Auf Wiedersehen, Pet''te Wyman Norris ve Doctor Who adlı dizide Mickey Smith rolleriyle bilinmektedir. Clarke Kidulthood adlı bir senaryo yazmış, Adulthood adlı filmin yönetmenliğini yapıp orada oynamıştır. Film ilk haftadan £1,209,319 kazanç sağlamıştır. Clarke Londra'nın Aktörlük Merkezi'nde eğitim almadan önce Kuzey Londra Üniversitesi'nde Medya okumuştur. Clarke, 2003 yılında Laurence Olivier Ödülü ve 2009 yılında BAFTA Turuncu Yükselen Yıldız Ödülü almıştır.
Algoritma tasarımı, problemlerin çözümünde matematiksel bir süreç oluşturmak amacıyla kullanılan özel bir yöntemdir. Algoritma tasarımı uygulamaları, Algoritma mühendisleri tarafından yapılır.
Yapı mühendisliği, bina ve yapı tasarımı ve teknolojisi prensiplerine dayalı bir inşaat mühendisliği dalıdır. Çelik çerçeve, betonarme yapılar, ahşap yapılar, yapı statiği ve yapı dinamiği başlıca uzmanlık alanlarıdır.
Bilimsel hesaplama karmaşık problemleri anlamak ve çözmek için gelişmiş bilgi işlem yeteneklerini kullanan çok disiplinli bir alandır. Hesaplamalı bilim üç farklı unsuru birleştirmektedir:
Sembolik matematik; sembolik hesaplama ve cebirsel hesaplamadan oluşan bilgisayar cebrindeki, matematiksel ifadeleri ve diğer matematiksel nesneleri manipüle etmek için kullanılan algoritma ve yazılımların çalışması ve geliştirilmesine atıfta bulunan bilimsel bir alandır.Daha açıkça ifade etmek gerekirse, bilgisayar cebri bilimsel hesaplamanın bir alt alanı sayılır ve bununla beraber bilimsel hesaplama genelde yaklaşık kayan nokta sayılarına ve sayısal yaklaşımlara dayanmaktadır.Buna karşın sembolik hesaplama, hiçbir değişkeni içermeyen ifadelerle tam hesaplamayı vurgulamaktadır.Değişken içermeyen ifadelere ilişkin semboller manipüle edilmektedir ve adı bundan dolayı sembolik matematik olarak kabul edilir.
Bilgisayar bilimlerinde, özellikle yazılım mühendisliği ve donanım mühendisliğinde biçimsel yöntemler; yazılım ve donanım sistemlerinin spesifikasyonu, geliştirilmesi ve doğrulanması için matematiksel olarak belirli teknikler bütünüdür. Yazılım ve donanım tasarımı için biçimsel yöntemlerin kullanılması, diğer mühendislik disiplinlerinde olduğu gibi, uygun matematiksel analizin yapıldığı bir tasarımın güvenilirliğine ve sağlamlığına katkıda bulunabileceği beklentisiyle geliştirilir.
