گزاره های ریاضی،بر اساس منطقن نه لزوما تجربه بیرونی! مثلا فضای تخت واقعی تقریبا وجود نداره،اما ما هندسه اقلیدسی داریم! ( به قول کانت،گزار های ریاضی ترکیبی پیشینین.یعنی درباره واقعیت بیرونی جهان میتونن اطلاع بدن،.ولی صدق خودشون مستقل از تجربست)
علم فیزیک بر اساس این منطق(ریاضی) جهان رو تعریف میکنه(همون بخش میتونن اطلاع بدن)....پس فیزیک به ریاضی وابستست و زیر مجموعه اونه>چون حین این کار، از بخشی از ریاضیات استفاده میکنه.مثلا تو ریاضی بی نهایت داریم،ولی تو فیزیک نه!
بحث قديمي هست ولي بايد يكسري چيز ها بيان بشه:
١. زيرمجموعه به اين معناست كه هر عضوي از زير مجموعه در مجموعه اصلي موجود است.
٢. طبق تعريف زيرمجموعه وقتي كه ميگيد رياضي بر اساس منطق هست و نه لزوما تجربه بيروني و وقتي كه فيزيك توضيح تجربه بيروني هست ميشه نتيجه گرفت كه فيزيك شامل تجربه بيروني است كه در رياضي وجود ندارد، لذا فيزيك زيرمجموعه رياضيات نيست
٣. اينكه رياضيات زيرمجموعه فيزيك نيست هم واضحه، شما مي تونيد در رياضي فضاي ٢٤٢٠ بعدي (!) تعريف كنيد كه در فيزيك نيست (حداقل فعلا!)
٤. اين كه فيزيك به رياضي وابسته است جاي سوال داره:
فيزيك مدرن صد در صد از رياضيات براي بيان نظريه ها، شفاف كردن اصول فيزيك و بدست آوردن نتايج و پيش بيني هاي دقيق استفاده مي كنه ولي همچنان شرح پديده ها بدون استفاده از رياضيات ممكن است ولي نتايج دقيق و يا عددي نمي دهد.
مثلا پديده رعد و برق را در نظر بگيريد، فيزيك مي تواند بدون رياضيات بگويد رعد و برق از جريان الكترون تشكيل شده است و الكترون را چيز (!) جاري در سيم تعريف كند و با ايجاد جهش الكتريكي تشابه آن را با رعد و برق نشان بدهد و يك نظريه بسازد. اين نظريه بدون استفاده از رياضيات (و البته با استفاده از اصول علم) ايجاد شده و با وجود اين كه بدون استفاده از رياضيات نتايج عددي و پيش بيني دقيق نمي دهد پديده را توضيح مي دهد.
٥. رابطه بين پيشرفت هاي فيزيك و رياضي رابطه اي با بگير و نگير (!) است كه بعضي اوقات مفاهيمي در فيزيك منجر به نتايج جديد رياضياتي مي شوند كه البته مشتق از خود رياضيات هستند و تنها جرقه آن ها با فيزيك خورده است (نظريه ريسمان و جهان چند بعدي) و همچنين نتايج رياضي جديد بعضي اوقات كمك به ارتقا و يا تغيير تعبير رياضي و حتي فيزيكي پديده ها مي شوند (مثلا استفاده از تپوگرافي در فيزيك كه نوبل فيزيك ٢٠١٦ را برد)
٦. خلاصه اين كه فيزيك و رياضي دو مجموعه هستند كه با هم اشتراكاتي دارند و در عين حال اعضايي غير مشترك.