2005年6月1日是星期三，要查询过去的日期是星期几，我们可以借助历法学和计算方法。2005年6月1日是一个特定的历史日期，我们需要通过计算来确定那天是星期几。根据公历，每四年有一个闰年，闰年会有366天，平年则是365天。为了精确计算，我们可以使用蔡勒公式（Zellers congruence），这是一种计算历史日期星期的方法。
一、蔡勒公式
蔡勒公式如下：
(q + [(13(m+1))/5] + K + [K/4] + [J/4] - 2J) mod 7
- q: 月份中的日期（1-31）
- m: 月份减去3（1对应4月，2对应5月，依此类推，12月作为次年的1月）
- K: 年份的最后两位数
- J: 如果是闰年，年份除以100的余数；否则，年份本身
二、2005年是平年
对于2005年，由于能被100整除但不能被400整除，所以是平年。因此，J=5（因为2005%100=5）。
三、计算2005年6月1日的星期几
将给定数值代入公式：- q = 1- m = 6 - 3 = 3- K = 05- J = 5计算过程如下：(q + [(13(3+1))/5] + K + [K/4] + [J/4] - 2J) mod 7= (1 + [(13*4)/5] + 5 + [5/4] + [5/4] - 2*5) mod 7= (1 + 10 + 5 + 1 + 1 - 10) mod 7= 8 mod 7= 1结果为1，这意味着星期一加上1天即为星期二。所以，2005年6月1日是星期二之后的第一天，即星期三。
综上所述，2005年6月1日是星期三，这是根据蔡勒公式计算得出的历法学结论。